Github user ashwinisingh01 commented on the issue:
https://github.com/apache/tinkerpop/pull/868
@spmallette , @FlorianHockmann , I recovered the github recently account
but had to change the user-name unfortunately. I created another PR for this
change, following up on the review comments on this PR.
https://github.com/apache/tinkerpop/pull/915
Please take a look. I highly apologize for the inconvenience.
Thanks
Ashwini---
