From b090bc1a23ed7a6f3de910599b51537647697ac2 Mon Sep 17 00:00:00 2001
From: Oleg Nenashev <o.v.nenashev@gmail.com>
Date: Fri, 16 Nov 2018 13:36:48 +0100
Subject: [PATCH] [JENKINS-54599] - Upgrade the Maven Jenkins Dev plugin from
 9.4.5.v20170502 to 9.4.12.v20180830 (#3758)

* [JENKINS-54599] - Upgrade the Maven Jenkins Dev plugin from 9.4.5.v20170502 to 9.4.12.v20180830

* [JENKINS-54599] - Pick up the final release of Maven HPI Dev Plugin
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 47c16272a8..537812926e 100644
--- a/pom.xml
+++ b/pom.xml
@@ -468,7 +468,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>
-- 
GitLab