[GitHub] tinkerpop issue #925: TINKERPOP-2026 Make closing of connections more robust...

[spmallette]

Github user spmallette commented on the issue:

    https://github.com/apache/tinkerpop/pull/925
  
    @FlorianHockmann any reason not to merge/close this one now? it's past the 
cool down period so you have lazy consensus at this point.


---