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. > >> >
