Merge pull request #23 from oleg-nenashev/dependabot/maven/org.jenkin…

…s-ci.tools-maven-jenkins-dev-plugin-9.4.12.v20180830-jenkins-2 Bump maven-jenkins-dev-plugin from 9.4.5.v20170502-jenkins-1 to 9.4.12.v20180830-jenkins-2
oleg-nenashev · Feb 12, 2019 · 955baed · 955baed
2 parents dbeda50 + b5f167e
commit 955baed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -456,7 +456,7 @@ THE SOFTWARE.
           <!-- this is really just a patched version of maven-jetty-plugin to workaround issue #932 -->
           <groupId>org.jenkins-ci.tools</groupId>
           <artifactId>maven-jenkins-dev-plugin</artifactId>
-          <version>9.4.5.v20170502-jenkins-1</version>
+          <version>9.4.12.v20180830-jenkins-2</version>
         </plugin>
         <plugin>
           <groupId>org.jvnet.updatecenter2</groupId>