Paul Eggert wrote: > > This change fixes it (but obviously needs NOT be backpropagated into > > Autoconf). > > I'd rather keep them in sync, though. No harm in that, right?
There is no harm, right. Bruno
Bruno Haible via Gnulib discussion list Thu, 31 Oct 2024 17:31:10 -0700
Paul Eggert wrote: > > This change fixes it (but obviously needs NOT be backpropagated into > > Autoconf). > > I'd rather keep them in sync, though. No harm in that, right?
There is no harm, right. Bruno