Merge proposals

cobertura in Ubuntu has no merge proposals.