Merge proposals

check-manifest in Ubuntu has no merge proposals.