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.



---

Reply via email to