Github user spmallette commented on the issue:
https://github.com/apache/tinkerpop/pull/876
I will take care of merging this now that we have reviews done. Thanks for
patiently working through this process @GCHQResearcher1337 - is that how you
will forever be known to us by the way? :smile: ---
