[GitHub] tinkerpop issue #842: TINKERPOP-1945

[jorgebay]

Github user jorgebay commented on the issue:

    https://github.com/apache/tinkerpop/pull/842
  
    LGTM! VOTE: +1.
    
    Thanks @danielcweber for the contribution!
    
    Note to committers: I think it would be better to squash the commits ahead 
of the merge.


---