Re: Some generated header files are messed up on Alpine

[Jim Meyering]

On Sat, Jan 1, 2022 at 12:15 PM Bruno Haible <br...@clisp.org> wrote:
> Paul,
>
> I suggest the attached patch. Objections?

Looks fine to me. Thanks for the speedy fix.