On Wed, Mar 04, 2020 at 07:02:43AM -0500, David Steele wrote:
> Yes, this is being included in an external project. Previously we have used
> a highly marked-up version but we are now trying to pull in the header more
> or less verbatim.
>
> Since this header is specifically designated as something external projects
> may want to use I think it makes sense to fix the warning.
This sounds like a sensible argument, similar to the ones raised on
the other thread, so no objections from me to improve things here. I
can look at that tomorrow, except if somebody else beats me to it.
--
Michael
