Github user dkuppitz commented on the issue:
https://github.com/apache/tinkerpop/pull/720
VOTE: +0.5
Will add the other 0.5 once `docker/build.sh -t -i -n` reports success
(currently running on my machine; just in case somebody else was planning to do
it).---
