[GitHub] tinkerpop issue #771: TINKERPOP-1863 Delaying the setting of requestId till ...

2018-01-08 Thread spmallette
Github user spmallette commented on the issue: https://github.com/apache/tinkerpop/pull/771 Thanks @EugeneChung - as this was minor change that was discussed on the dev mailing list already I decided to just CTR and merge it without further votes. I updated the CHANGELOG and made a

[GitHub] tinkerpop issue #771: TINKERPOP-1863 Delaying the setting of requestId till ...

2018-01-08 Thread robertdale
Github user robertdale commented on the issue: https://github.com/apache/tinkerpop/pull/771 VOTE +1 ---