A committer will merge your pull requests and move the ticket to resolved (probably today). As `tp33` is still being merged to `master` regularly, probably we will merge #1082 and then merge `tp33` into `master` (I don't think we need votes for merging #1082 that is identical to this one).
[ Full content available at: https://github.com/apache/tinkerpop/pull/1081 ] This message was relayed via gitbox.apache.org for [email protected]
