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

[spmallette]

Github user spmallette commented on the issue:

    https://github.com/apache/tinkerpop/pull/745
  
    sorry - i missed the `tp32` comment in your description. your changes look 
fine now. 
    
    VOTE +1


---