Merge proposals

mir in Ubuntu has no merge proposals.