Merge proposals

catdvi in Ubuntu has no merge proposals.