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 I should have a Gnulib fix shortly.
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 I should have a Gnulib fix shortly.