Merge proposals

dodgy in Ubuntu has no merge proposals.