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

[spmallette]

Github user spmallette commented on the issue:

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


---