[GitHub] tinkerpop issue #842: TINKERPOP-1945

[FlorianHockmann]

Github user FlorianHockmann commented on the issue:

    https://github.com/apache/tinkerpop/pull/842
  
    Great, thanks for making those changes.
    
    My VOTE +1 from nearly 3 months ago still holds with these recent changes.


---