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 <gi...@git.apache.org> on 2018/04/23 17:52:12 UTC

[GitHub] tinkerpop issue #850: Fix typos in GraphManager and DefaultGraphManager java...

Github user spmallette commented on the issue:

    https://github.com/apache/tinkerpop/pull/850
  
    This is merge now - thanks for the fix.


---