A recap of options for RemoveDuplicates: - Leave the name as is and update the JavaDocs - Rename to Distinct - Rename to MakeDistinct - Rename to Deduplicate
On Wed, Oct 26, 2016 at 8:10 AM Jean-Baptiste Onofré <[email protected]> wrote: > OK. No problem. > > Regards > JB > > > > On Oct 26, 2016, 07:56, at 07:56, Kenneth Knowles <[email protected]> > wrote: > >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. > >> >> > >> > >> >
