Merge proposals

kimchi in Ubuntu has no merge proposals.