Re: some issues in the latest Autoconf

[Paolo Bonzini]

4) A few regressions have already been found and fixed, at least one
more is still pending (see Paolo's report).

I cannot reproduce this anymore.

Paolo