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

Tue, 10 Dec 2019 04:41:20 -0800 

Other than the wildcard import and a CHANGELOG entry, I think this PR looks 
good:

VOTE +1

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

Reply via email to