Re: remaining tasks before Autoconf release

[Bruno Haible]

Paul Eggert wrote:
> I installed the attached patch to address the problem you mentioned.

Thank you.

Good wording is important here; the new wording is better than what I had
proposed.

Bruno