From 1371cfe301c080b2d14e52a19997a071e2de1434 Mon Sep 17 00:00:00 2001
From: Brian Clozel <bclozel@pivotal.io>
Date: Tue, 4 Sep 2018 22:15:13 +0200
Subject: [PATCH] Upgrade to Jetty 9.4.12.v20180830

(Cherry-picked from 7041e5e8e3)
---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index d24e21a8869..e1b8957a3cc 100644
--- a/build.gradle
+++ b/build.gradle
@@ -41,7 +41,7 @@ ext {
 	groovyVersion        = "2.4.15"
 	hsqldbVersion        = "2.4.1"
 	jackson2Version      = "2.9.6"
-	jettyVersion         = "9.4.11.v20180605"
+	jettyVersion         = "9.4.12.v20180830"
 	junitJupiterVersion  = "5.0.3"
 	junitPlatformVersion = "1.0.3"
 	junitVintageVersion  = "4.12.3"