Merge proposals

mir-core in Ubuntu has no merge proposals.