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


---

Reply via email to