From acf7b38316ea4d5299223c3a92dc54fb4bbd4c96 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Piotr=20R=C5=BCysko?= <piotr.rzysko@gmail.com>
Date: Thu, 14 Mar 2024 14:12:32 +0100
Subject: [PATCH] Update jetty to 12.0.7 (#1837)

The main reason why we need this update is the bug reported here: https://github.com/jetty/jetty.project/issues/11372. Version 12.0.7 includes a fix for this bug.
---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index bc670c4a4d..6de28b2eae 100644
--- a/build.gradle
+++ b/build.gradle
@@ -52,7 +52,7 @@ allprojects {
             guava             : '23.0',
             jackson           : '2.15.2',
             jersey            : '3.1.2',
-            jetty             : '12.0.5',
+            jetty             : '12.0.7',
             curator           : '5.4.0',
             dropwizard_metrics: '4.1.0',
             micrometer_metrics: '1.11.1',