Github user spmallette commented on the issue:
https://github.com/apache/tinkerpop/pull/764
I just went ahead and merged this for you. No need for a vote/review for
little odds/ends like this (unless you feel you need one for some reason).
Just use your best discretion for commits directly to the release branches. We
usually suffix such commits with "CTR" - meaning "commit then review" - where
such a commit assume lazy consensus:
http://tinkerpop.apache.org/docs/current/dev/developer/#rtc---
