From c506b350d32229845e0e953f41906bbcfb6d3cd5 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 7 Jul 2022 21:06:29 +0000 Subject: [PATCH] Bump jetty-server in /jetty/8.1.17.v20150415.wso2v1 Bumps [jetty-server](https://github.com/eclipse/jetty.project) from 8.1.17.v20150415 to 10.0.10. - [Release notes](https://github.com/eclipse/jetty.project/releases) - [Commits](https://github.com/eclipse/jetty.project/compare/jetty-8.1.17.v20150415...jetty-10.0.10) --- updated-dependencies: - dependency-name: org.eclipse.jetty:jetty-server dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- jetty/8.1.17.v20150415.wso2v1/pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jetty/8.1.17.v20150415.wso2v1/pom.xml b/jetty/8.1.17.v20150415.wso2v1/pom.xml index 8005ff5ee..6428885a5 100644 --- a/jetty/8.1.17.v20150415.wso2v1/pom.xml +++ b/jetty/8.1.17.v20150415.wso2v1/pom.xml @@ -125,6 +125,6 @@ 8.1.17.v20150415.wso2v1 - 8.1.17.v20150415 + 10.0.10