You are viewing a plain text version of this content. The canonical link for it is here.

Posted to dev@tinkerpop.apache.org by "spmallette (GitHub)" <gi...@apache.org> on 2019/12/10 12:40:52 UTC

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

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 dev@tinkerpop.apache.org