Merge proposals

Autoconf has no merge proposals.