Merge proposals

rope in Ubuntu has no merge proposals.