Merge proposals

opt in Ubuntu has no merge proposals.