On Thu, Feb 27, 2020 at 4:17 PM Paul Eggert <eggert@xxxxxxxxxxx> wrote: > > On 2/27/20 1:02 PM, Zack Weinberg wrote: > > OK for master? > > Of course. Routine fixes like this are welcome. Pushed. For clarity, if this was glibc I would have felt comfortable committing a patch like this without review, but I haven't been in the habit of hacking on autoconf lately so I thought it was better to ask. zw
