Bruno Haible via Gnulib discussion list <bug-gnulib@gnu.org> writes:

> Paul Eggert wrote:
>> As the stdckdint.h bug in question is fixed in GCC 15.1, wouldn't it be 
>> better if the Gnulib workaround is used only if the bug is present (GCC 
>> 15.0)?
>
> Who said that is was fixed in GCC 15.1 ? I reproduce it with groff HEAD
> and gnulib HEAD~2 and GCC 15.1.0 (built from source):

I realize now that it was probably accidental implied by my commit
message using "g++ 15.0". It really would have been better to just write
"g++ 15".

Collin

Reply via email to