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




Reply via email to