tree 099cdc3fd973f64daa8705d2a5d7fc8c0acb0dfd
parent 6c6a6e84b1497d82b5fa2b4acfe90a362e22c649
author dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> 1778666376 +0000
committer margaretha <margaretha@ids-mannheim.de> 1778836413 +0200

Bump jetty.version from 12.1.8 to 12.1.9

Bumps `jetty.version` from 12.1.8 to 12.1.9.

Updates `org.eclipse.jetty:jetty-server` from 12.1.8 to 12.1.9

Updates `org.eclipse.jetty.ee10:jetty-ee10-servlet` from 12.1.8 to 12.1.9

Updates `org.eclipse.jetty.ee10:jetty-ee10-webapp` from 12.1.8 to 12.1.9

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

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

Closes #958

Change-Id: I67dd366a6fac1ba5005763443d69b76e0ce8f422