Github user jorgebay commented on the issue:
https://github.com/apache/tinkerpop/pull/889
Great contribution @mattallenuk!
We should merge it to `tp32`. @mattallenuk do you want to change the base
branch of this pull request and rebase? There shouldn't be any conflicts. We
can either rebase and [change the base
branch](https://help.github.com/articles/changing-the-base-branch-of-a-pull-request/)
here or I could do it before merging it. lmk what you prefer.
About the documentation entries suggested by @spmallette, do you want to
include it in this pull request @mattallenuk?
---
