On 2024-10-31 14:11, Bruno Haible 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?

Reply via email to