From d6951575dcfe34488d2c4d1854ebee15a3dd57a8 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 9 Sep 2024 21:53:25 +0000
Subject: [PATCH] build(deps-dev): bump
 org.eclipse.jetty.ee10:jetty-ee10-servlet

Bumps org.eclipse.jetty.ee10:jetty-ee10-servlet from 12.0.12 to 12.0.13.

---
updated-dependencies:
- dependency-name: org.eclipse.jetty.ee10:jetty-ee10-servlet
  dependency-type: direct:development
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 pom.xml                 | 2 +-
 servlet-jakarta/pom.xml | 2 +-
 test/pom.xml            | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/pom.xml b/pom.xml
index c18d3836..be8e59c9 100644
--- a/pom.xml
+++ b/pom.xml
@@ -106,7 +106,7 @@
             <dependency>
                 <groupId>org.eclipse.jetty.ee10</groupId>
                 <artifactId>jetty-ee10-servlet</artifactId>
-                <version>12.0.12</version>
+                <version>12.0.13</version>
             </dependency>
         </dependencies>
     </dependencyManagement>
diff --git a/servlet-jakarta/pom.xml b/servlet-jakarta/pom.xml
index a3dd22ea..95ad6f16 100644
--- a/servlet-jakarta/pom.xml
+++ b/servlet-jakarta/pom.xml
@@ -53,7 +53,7 @@
         <dependency>
             <groupId>org.eclipse.jetty.ee10</groupId>
             <artifactId>jetty-ee10-servlet</artifactId>
-            <version>12.0.12</version>
+            <version>12.0.13</version>
             <scope>test</scope>
         </dependency>
         <dependency>
diff --git a/test/pom.xml b/test/pom.xml
index 5430caf2..41239feb 100644
--- a/test/pom.xml
+++ b/test/pom.xml
@@ -46,7 +46,7 @@
         <dependency>
             <groupId>org.eclipse.jetty.ee10</groupId>
             <artifactId>jetty-ee10-servlet</artifactId>
-            <version>12.0.12</version>
+            <version>12.0.13</version>
         </dependency>
     </dependencies>