tree c4e395a2d3222dfeda89e5c26d2ecf3303d4af66
parent bf66034ebaa6d508f8a275dcf4896c9d829e6329
author dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> 1761066578 +0000
committer margaretha <margaretha@ids-mannheim.de> 1761727801 +0100

Bump jetty.version from 12.1.1 to 12.1.3

Bumps `jetty.version` from 12.1.1 to 12.1.3.

Updates `org.eclipse.jetty:jetty-server` from 12.1.1 to 12.1.3

Updates `org.eclipse.jetty.ee10:jetty-ee10-servlet` from 12.1.1 to
12.1.3

Updates `org.eclipse.jetty.ee10:jetty-ee10-webapp` from 12.1.1 to 12.1.3

---
updated-dependencies:
- dependency-name: org.eclipse.jetty:jetty-server
  dependency-version: 12.1.3
  dependency-type: direct:production
  update-type: version-update:semver-patch
- dependency-name: org.eclipse.jetty.ee10:jetty-ee10-servlet
  dependency-version: 12.1.3
  dependency-type: direct:production
  update-type: version-update:semver-patch
- dependency-name: org.eclipse.jetty.ee10:jetty-ee10-webapp
  dependency-version: 12.1.3
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
Change-Id: Id62f4c82ed63fd8430c19a1bb97abf3e9275a06b