Paul Eggert <egg...@cs.ucla.edu> writes: > On 2025-08-01 14:40, Pádraig Brady wrote: >> Could you log this with https://sourceware.org/bugzilla/ > > He already did that, here: > > https://sourceware.org/bugzilla/show_bug.cgi?id=33245
That is an unfortunate bug. Thanks and good catch Leah. > I should have a Gnulib fix shortly. Thanks! I was hoping that file could be made a tiny stub, due to the workarounds for Linux 4.19 being mostly unnecessary now that it is EOL. But now we have a new problem to deal with. :) Collin
