Github user asfgit closed the pull request at:
https://github.com/apache/tinkerpop/pull/919
---
Github user otaviojava commented on a diff in the pull request:
https://github.com/apache/tinkerpop/pull/919#discussion_r211956497
--- Diff:
gremlin-core/src/main/java/org/apache/tinkerpop/gremlin/process/traversal/util/DefaultTraversalMetrics.java
---
@@ -286,10 +286,10 @@ privat
Github user otaviojava commented on a diff in the pull request:
https://github.com/apache/tinkerpop/pull/919#discussion_r211956428
--- Diff:
gremlin-core/src/main/java/org/apache/tinkerpop/gremlin/process/traversal/util/DefaultTraversalMetrics.java
---
@@ -208,14 +208,14 @@ privat
Github user robertdale commented on a diff in the pull request:
https://github.com/apache/tinkerpop/pull/919#discussion_r211952645
--- Diff:
gremlin-core/src/main/java/org/apache/tinkerpop/gremlin/process/traversal/util/DefaultTraversalMetrics.java
---
@@ -208,14 +208,14 @@ privat