Hi everyone, this morning I accidentally merged TINKERPOP-1777 <https://github.com/apache/tinkerpop/pull/805> into master/. For some reason, I was pretty sure that I got enough VOTEs, but in fact, it was only me who really voted. I guess I mixed up some notification emails and merged it a bit too quickly.
Please let me know if you have any complaints, I think I can roll it back, but personally, I don't think that this merge was too bad. Cheers, Daniel