Merge proposals

cod-tools in Ubuntu has no merge proposals.