> On 29 Jun 2018, at 15:24, Michael Paquier <michael@paquier.xyz> wrote:
>
> On Fri, Jun 29, 2018 at 08:29:16AM +0200, Daniel Gustafsson wrote:
>> Good point, we might as well do that too. Fixed those two and an additional
>> one in the attached updated version.
>
> Did you notice the paragraph at the top of ppport.h? This is a file
> automatically generated so it does not sound like a good idea to apply
> the change there. Refreshing this file would make the most sense if
> needed, but I have not looked at that in details.
Good spot, I missed that and 100% agree with you.
> Pushed the rest with a proper back-patch for the docs.
Thanks!