[GitHub] [tinkerpop] rdtr commented on issue #1228: update requestId and userAgent in RequestMessage with RequestOptions

[GitHub]

Not this branch should be good to merge. Let me know if further tweaks are 
needed.

[ Full content available at: https://github.com/apache/tinkerpop/pull/1228 ]
This message was relayed via gitbox.apache.org for dev@tinkerpop.apache.org