To be clear: I am not saying that I think the discussion has concluded. I think we should give some more time for different time zone rotations to occur. I just meant to say that if it does come to a vote, I'd prefer to keep it focused rather than generalizing.
On Tue, Oct 25, 2016 at 10:51 PM Kenneth Knowles <[email protected]> wrote: > I'd prefer to keep the vote focused on this rename, not a general policy. > > On Tue, Oct 25, 2016 at 10:26 PM Jean-Baptiste Onofré <[email protected]> > wrote: > > Yes I would start a formal vote with the three proposals: descriptive > verb, adjective, verbs + adjective. > > Regards > JB > > > > On Oct 26, 2016, 07:16, at 07:16, Jesse Anderson <[email protected]> > wrote: > >We need to make a decision on this so Neelesh can finish his commit. > >Should > >we take a vote or something? > > > >On Tue, Oct 25, 2016, 7:55 AM Jean-Baptiste Onofré <[email protected]> > >wrote: > > > >> Sounds good to me. > >> > >> > >> > >> On Oct 24, 2016, 19:11, at 19:11, [email protected] wrote: > >> >I prefer MakeDistinct if we have to make it a verb. > >> > >
