Paul Eggert Sat, 11 Jan 2025 10:26:32 -0800
On 2025-01-11 08:48, Pádraig Brady wrote:
The attached gnulib patch does that.
Thanks for fixing that.