[GitHub] tinkerpop issue #850: Fix typos in GraphManager and DefaultGraphManager java...
Github user justinchuch commented on the issue: https://github.com/apache/tinkerpop/pull/850 Happy to help. ---
[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. ---