On 6/11/20 1:09 PM, Zack Weinberg wrote: > I posted three patches back in March and I don't think anyone has > looked at them: > > https://lists.gnu.org/archive/html/autoconf-patches/2020-03/msg00012.html > https://lists.gnu.org/archive/html/autoconf-patches/2020-03/msg00013.html > https://lists.gnu.org/archive/html/autoconf-patches/2020-03/msg00014.html Thanks, I looked those over briefly and installed them on savannah master. Looks like we're ready for a new release.
