Merge proposals

9menu in Ubuntu has no merge proposals.