Github user spmallette commented on the issue:

    https://github.com/apache/tinkerpop/pull/925
  
    @FlorianHockmann any reason not to merge/close this one now? it's past the cool down period so you have lazy consensus at this point.


---