Merge proposals

dvorak7min in Ubuntu has no merge proposals.