Merge proposals

autotools-dev in Ubuntu has no merge proposals.