Control: tags 883712 pending On Mon, Dec 11, 2017 at 09:44:45PM -0500, Jeremy Bicha wrote: > > If the only debate is having statistics of OS popularity vs making > > the user harder to identify, I think I choose the latter. I don't > > know what the rest of the team thinks... > > Like I said, I think Ubuntu wants it. How about this patch then?
That looks good to me. Applied, thanks! Berto