Paul Eggert wrote: > Thanks for doing all that. The patches look good to me too.
OK, pushed. Let's see whether the CI reports a problem tomorrow. Bruno
Bruno Haible via Gnulib discussion list Sun, 15 Mar 2026 15:13:02 -0700
Paul Eggert wrote: > Thanks for doing all that. The patches look good to me too.
OK, pushed. Let's see whether the CI reports a problem tomorrow. Bruno