[GitHub] tinkerpop issue #801: TINKERPOP-1862 TinkerMessenger proper handling of Dire...

[PBGraff]

Github user PBGraff commented on the issue:

    https://github.com/apache/tinkerpop/pull/801
  
    OK, I've made that update and now this build passes.


---