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.
---
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.
---