From 85e1103adf8d79ef69d6eee8deb1be8ed840a28f Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Wed, 6 Nov 2024 23:25:29 +0000
Subject: [PATCH] Bump jetty.version from 12.0.14 to 12.0.15

Bumps `jetty.version` from 12.0.14 to 12.0.15.

Updates `org.eclipse.jetty:jetty-http` from 12.0.14 to 12.0.15

Updates `org.eclipse.jetty:jetty-server` from 12.0.14 to 12.0.15

Updates `org.eclipse.jetty.ee10:jetty-ee10-servlet` from 12.0.14 to 12.0.15

---
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 a1cf172cff..465c93fa2e 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.14</jetty.version>
+		<jetty.version>12.0.15</jetty.version>
 	</properties>
 
 	<build>