Bump cobertura from 1.12.1 to 1.17#164

dependabot[bot] wants to merge 1 commit intomasterjenkinsci/github-autostatus-plugin:masterfrom

dependabot/maven/org.jenkins-ci.plugins-cobertura-1.17jenkinsci/github-autostatus-plugin:dependabot/maven/org.jenkins-ci.plugins-cobertura-1.17Copy head branch name to clipboard