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

[mpollmeier]

Github user mpollmeier commented on the issue:

    https://github.com/apache/tinkerpop/pull/745
  
    ok that's done. added a changelog entry, merged this branch into tp32 and 
merged tp32 into master. 


---