On Mon, Apr 10, 2023, at 7:00 PM, Paul Eggert wrote: > On 2023-04-10 15:36, Bruno Haible wrote: >> I like this. Thanks. > > OK, then let's hear Zack's opinion and hopefully move forward.
I'm also happy with this resolution. I do not have time to do the Autoconf work until the weekend. zw
