Github user spmallette commented on the issue:
https://github.com/apache/tinkerpop/pull/704
@FlorianHockmann When you merge a PR to tp32, please make sure you also
merge tp32 to master. Technically it is best to do that locally first, make
sure both tp32 and master are building properly, then push master and then
tp32.
Also, the JIRA for this PR still needs to closed. Thanks.---
