Re: Merge of TINKERPOP-1777

Looks good to me, so you have my vote :) No need to rollback IMO. On Wed, Mar 7, 2018 at 6:05 PM, Stephen Mallette wrote: > I expected to do a +1 today - personally, i don't think you need go through > the hassle of rollback for an official vote. > > On Wed, Mar 7, 2018

Re: Merge of TINKERPOP-1777

I expected to do a +1 today - personally, i don't think you need go through the hassle of rollback for an official vote. On Wed, Mar 7, 2018 at 11:24 AM, Daniel Kuppitz wrote: > Hi everyone, > > this morning I accidentally merged TINKERPOP-1777 >

Merge of TINKERPOP-1777

Hi everyone, this morning I accidentally merged TINKERPOP-1777 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