Bump maven-jenkins-dev-plugin from 9.4.5.v20170502-jenkins-1 to 9.4.12.v20180830-jenkins-2#23
Merged
oleg-nenashev merged 1 commit intomasterfrom dependabot/maven/org.jenkins-ci.tools-maven-jenkins-dev-plugin-9.4.12.v20180830-jenkins-2Feb 12, 2019
+1-1
