Github user dkuppitz commented on the issue:

    https://github.com/apache/tinkerpop/pull/837
  
    That's actually how I created this branch, but the merge somehow 
disappeared from the history when I rebased this branch.


---

Reply via email to