On 2023-04-11 17:10, Zack Weinberg wrote:
I'm also happy with this resolution. I do not have time to do the Autoconf work until the weekend.
I notice you were careful to not say *which* weekend. :-) Anyway, I coded up a draft patch and published it here: https://lists.gnu.org/r/autoconf/2023-04/msg00027.html
