Merge proposals

king in Ubuntu has no merge proposals.