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

2018-04-23 Thread justinchuch
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...

2018-04-23 Thread spmallette
Github user spmallette commented on the issue: https://github.com/apache/tinkerpop/pull/850 This is merge now - thanks for the fix. ---