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.


Reply via email to