[GitHub] tinkerpop issue #842: TINKERPOP-1945

[spmallette]

Github user spmallette commented on the issue:

    https://github.com/apache/tinkerpop/pull/842
  
    @danielcweber should we expect any change here or is this ok to close at 
this point?


---