Github user otaviojava commented on a diff in the pull request:
https://github.com/apache/tinkerpop/pull/919#discussion_r211950542
--- Diff:
gremlin-core/src/main/java/org/apache/tinkerpop/gremlin/process/traversal/util/DefaultTraversalMetrics.java
---
@@ -208,14 +208,14 @@
Github user robertdale commented on a diff in the pull request:
https://github.com/apache/tinkerpop/pull/919#discussion_r211948320
--- Diff:
gremlin-core/src/main/java/org/apache/tinkerpop/gremlin/process/traversal/util/DefaultTraversalMetrics.java
---
@@ -208,14 +208,14 @@