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