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