[GitHub] tinkerpop pull request #771: TINKERPOP-1863 Delaying the setting of requestI...

Fri, 05 Jan 2018 14:48:05 -0800 

GitHub user EugeneChung opened a pull request:

    https://github.com/apache/tinkerpop/pull/771

    TINKERPOP-1863 Delaying the setting of requestId till the RequestMess…

    …age instantiation time

You can merge this pull request into a Git repository by running:

    $ git pull https://github.com/EugeneChung/tinkerpop patch-1

Alternatively you can review and apply these changes as the patch at:

    https://github.com/apache/tinkerpop/pull/771.patch

To close this pull request, make a commit to your master/trunk branch
with (at least) the following in the commit message:

    This closes #771
    
----
commit 7e80bccb4c0195a510bb20be4d5da65629ee2a7f
Author: Eugene Chung <bluewolf.chung@...>
Date:   2018-01-05T22:46:42Z

    TINKERPOP-1863 Delaying the setting of requestId till the RequestMessage 
instantiation time

----


---

Reply via email to