[GitHub] tinkerpop issue #842: TINKERPOP-1945

[danielcweber]

Github user danielcweber commented on the issue:

    https://github.com/apache/tinkerpop/pull/842
  
    Done!


---