> On 29 Jun 2018, at 15:24, Michael Paquier <mich...@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!
