From bb0750061d58aa6c397925fafba5a648cc1a8f80 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 28 Oct 2025 18:54:09 +0000 Subject: [PATCH] Bump org.apache.tomcat.embed:tomcat-embed-core in /gui Bumps org.apache.tomcat.embed:tomcat-embed-core from 10.1.46 to 10.1.47. --- updated-dependencies: - dependency-name: org.apache.tomcat.embed:tomcat-embed-core dependency-version: 10.1.47 dependency-type: direct:development ... Signed-off-by: dependabot[bot] --- gui/pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gui/pom.xml b/gui/pom.xml index 1a1cd06..4250ef2 100644 --- a/gui/pom.xml +++ b/gui/pom.xml @@ -36,7 +36,7 @@ 1.10.0.Final 4.1.3 - 10.1.46 + 10.1.47 10.1.2