On Tue, Oct 29, 2019 at 08:01:17PM -0500, Segher Boessenkool wrote:
> I am still not convinced the worse name is a better name, no :-) But if
> you don't want to do the work, and instead prefer the much smaller change,
> that is of course a fine decision. Thank you!
>
> (I would be happy with such a 30/29 as well, of course.)
Ok, thanks.
I'll start picking up the pile and the renaming patch can then go ontop.
--
Regards/Gruss,
Boris.
https://people.kernel.org/tglx/notes-about-netiquette
