Github user svanteschubert commented on the issue: https://github.com/apache/tinkerpop/pull/891 What is the correct GitHub / Tinkerpop procedure to update a patch? Do you have a pointer? I decided to start from scratch and cloned a fresh Tinkerpop repro, to start a fresh git branch from the latest sources. But the master has build problems on my machine with the latest patches on Windows (JDK 181). Do you build as well on Windows? Going to reboot here.. ;-)
---