[GitHub] tinkerpop issue #745: TINKERPOP-1830: fix race condition in TinkerIndex

[robertdale]

Github user robertdale commented on the issue:

    https://github.com/apache/tinkerpop/pull/745
  
    `mvn -pl tinkergraph-gremlin -DskipIntegrationTests=false -am clean 
install` build SUCCESS
    VOTE +1


---