From b5f167e5dbe383717605be33964d70de1d1aecb8 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <support@dependabot.com>
Date: Tue, 12 Feb 2019 04:57:49 +0000
Subject: [PATCH] Bump maven-jenkins-dev-plugin

Bumps maven-jenkins-dev-plugin from 9.4.5.v20170502-jenkins-1 to 9.4.12.v20180830-jenkins-2.

Signed-off-by: dependabot[bot] <support@dependabot.com>
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 5a0df8f4708f..0fddac05017c 100644
--- 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>