Github user dkuppitz commented on the issue:
https://github.com/apache/tinkerpop/pull/725
I know, Stephen and I talked briefly about it and we came to the conclusion
that the Docker stuff is really just a developer / contributor thing and we
shouldn't care too much about "breaking" changes within minor releases. Perhaps
we should just send a short mail to dev@ if we make changes in the Docker image
setups.---
