Re: [PATCH v2 01/29] powerpc: Rename "notes" PT_NOTE to "note"

Borislav Petkov
2019-11-04T08:59:18Z

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.