[GitHub] tinkerpop pull request #919: String loop to String builder [master]

2018-08-22 Thread otaviojava
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] tinkerpop pull request #919: String loop to String builder [master]

2018-08-22 Thread robertdale
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 @@