merge this now that #1188 is in there. cherry-picked to `tp34` and merged to `master`
[ Full content available at: https://github.com/apache/tinkerpop/pull/1215 ] This message was relayed via gitbox.apache.org for dev@tinkerpop.apache.org
merge this now that #1188 is in there. cherry-picked to `tp34` and merged to `master`
[ Full content available at: https://github.com/apache/tinkerpop/pull/1215 ] This message was relayed via gitbox.apache.org for dev@tinkerpop.apache.org