[GitHub] tinkerpop pull request #905: Pr 891

2018-08-28 Thread asfgit
Github user asfgit closed the pull request at: https://github.com/apache/tinkerpop/pull/905 ---

[GitHub] tinkerpop pull request #905: Pr 891

2018-08-10 Thread spmallette
Github user spmallette commented on a diff in the pull request: https://github.com/apache/tinkerpop/pull/905#discussion_r209302881 --- Diff: gremlin-core/src/main/java/org/apache/tinkerpop/gremlin/structure/io/graphml/GraphMLWriter.java --- @@ -18,6 +18,21 @@ */

[GitHub] tinkerpop pull request #905: Pr 891

2018-08-04 Thread spmallette
Github user spmallette commented on a diff in the pull request: https://github.com/apache/tinkerpop/pull/905#discussion_r207705128 --- Diff: gremlin-core/src/main/java/org/apache/tinkerpop/gremlin/structure/io/graphml/GraphMLWriter.java --- @@ -212,26 +214,39 @@ private

[GitHub] tinkerpop pull request #905: Pr 891

2018-08-02 Thread svanteschubert
Github user svanteschubert commented on a diff in the pull request: https://github.com/apache/tinkerpop/pull/905#discussion_r207240077 --- Diff: gremlin-test/src/main/resources/org/apache/tinkerpop/gremlin/structure/io/graphml/tinkerpop-classic-normalized.xml --- @@ -1,15 +1,18

[GitHub] tinkerpop pull request #905: Pr 891

2018-08-02 Thread svanteschubert
GitHub user svanteschubert opened a pull request: https://github.com/apache/tinkerpop/pull/905 Pr 891 I have added a test and adjusted the changed according to the comments. You can merge this pull request into a Git repository by running: $ git pull