Merge proposals

libtool has no merge proposals.