Merge proposals

cinnamon-menus in Ubuntu has no merge proposals.