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?
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?