From 066e35c080c21ce02c3c3e3eb223b8146328c8ea Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 7 Jul 2022 22:17:33 +0000 Subject: [PATCH] Bump jetty-server in /publication/FusekiLoader Bumps [jetty-server](https://github.com/eclipse/jetty.project) from 8.1.0.v20120127 to 10.0.10. - [Release notes](https://github.com/eclipse/jetty.project/releases) - [Commits](https://github.com/eclipse/jetty.project/compare/jetty-8.1.0.v20120127...jetty-10.0.10) --- updated-dependencies: - dependency-name: org.eclipse.jetty:jetty-server dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- publication/FusekiLoader/pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) mode change 100755 => 100644 publication/FusekiLoader/pom.xml diff --git a/publication/FusekiLoader/pom.xml b/publication/FusekiLoader/pom.xml old mode 100755 new mode 100644 index 628973c..c898134 --- a/publication/FusekiLoader/pom.xml +++ b/publication/FusekiLoader/pom.xml @@ -580,7 +580,7 @@ org.eclipse.jetty jetty-server - 8.1.0.v20120127 + 10.0.10 org.eclipse.jetty.aggregate