Re: Some generated header files are messed up on Alpine

bug-gnulib

From:	Bruno Haible
Subject:	Re: Some generated header files are messed up on Alpine
Date:	Sat, 01 Jan 2022 21:15:12 +0100

Paul,

I suggest the attached patch. Objections?

Bruno

Current Thread

[Next in Thread]

Some generated header files are messed up on Alpine, Tim Rühsen, 2022/01/01
- Re: Some generated header files are messed up on Alpine, Bruno Haible, 2022/01/01
  - Re: Some generated header files are messed up on Alpine, Bruno Haible <=
    - Re: Some generated header files are messed up on Alpine, Jim Meyering, 2022/01/01
    - Re: Some generated header files are messed up on Alpine, Paul Eggert, 2022/01/01
    - Re: Some generated header files are messed up on Alpine, Bruno Haible, 2022/01/02
    - Re: Some generated header files are messed up on Alpine, Tim Rühsen, 2022/01/03