Github user FlorianHockmann commented on the issue:
https://github.com/apache/tinkerpop/pull/712
> @FlorianHockmann Can we merge this?
Sure, I was on vacation, hence the delay. I'll merge it today.---
Github user FlorianHockmann commented on the issue:
https://github.com/apache/tinkerpop/pull/712
> @FlorianHockmann Can we merge this?
Sure, I was on vacation, hence the delay. I'll merge it today.---