[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
  
    Please also include an update to CHANGELOG for this fix.


---