Github user FlorianHockmann commented on the issue:
https://github.com/apache/tinkerpop/pull/925
No, there is no reason for not merging this. I'm just currently on
vacation. So, I can't do it myself right now.
But if you or anyone else wants to merge this, then feel free to do that.---
