From 1edb6de81c2e111f69eac45f9c09f1931b4b4c07 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Fri, 6 Sep 2024 23:07:05 +0000
Subject: [PATCH] Bump jetty.version from 12.0.12 to 12.0.13

Bumps `jetty.version` from 12.0.12 to 12.0.13.

Updates `org.eclipse.jetty:jetty-http` from 12.0.12 to 12.0.13

Updates `org.eclipse.jetty:jetty-server` from 12.0.12 to 12.0.13

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

---
updated-dependencies:
- dependency-name: org.eclipse.jetty:jetty-http
  dependency-type: direct:development
  update-type: version-update:semver-patch
- dependency-name: org.eclipse.jetty:jetty-server
  dependency-type: direct:development
  update-type: version-update:semver-patch
- 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>
---
 tycho-core/pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tycho-core/pom.xml b/tycho-core/pom.xml
index f33ea362e1..b359a2a851 100644
--- a/tycho-core/pom.xml
+++ b/tycho-core/pom.xml
@@ -23,7 +23,7 @@
 	<name>Tycho Core</name>
 	<description>Core Tycho components</description>
 	<properties>
-		<jetty.version>12.0.12</jetty.version>
+		<jetty.version>12.0.13</jetty.version>
 	</properties>
 
 	<build>