From 3bcd0d6e7fee19c211c9eaf7c356584bbf26ae9b Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Wed, 23 Jun 2021 20:39:57 +0000 Subject: [PATCH] Bump jetty-server in /publication/FusekiLoader Bumps [jetty-server](https://github.com/eclipse/jetty.project) from 8.1.0.v20120127 to 9.4.41.v20210516. - [Release notes](https://github.com/eclipse/jetty.project/releases) - [Commits](https://github.com/eclipse/jetty.project/compare/jetty-8.1.0.v20120127...jetty-9.4.41.v20210516) --- 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..cfaaca1 --- a/publication/FusekiLoader/pom.xml +++ b/publication/FusekiLoader/pom.xml @@ -580,7 +580,7 @@ org.eclipse.jetty jetty-server - 8.1.0.v20120127 + 9.4.41.v20210516 org.eclipse.jetty.aggregate