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




Reply via email to