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.. ;-)
---
