Merge proposals

ergo in Ubuntu has no merge proposals.