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.
Pushed the rest with a proper back-patch for the docs.
--
Michael