From 26c65b9c9edcb2685a00246de800588df8ec5d60 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 20 Oct 2025 01:06:32 +0000
Subject: [PATCH] Bump org.apache.tomcat:tomcat-juli from 11.0.12 to 11.0.13

Bumps org.apache.tomcat:tomcat-juli from 11.0.12 to 11.0.13.

---
updated-dependencies:
- dependency-name: org.apache.tomcat:tomcat-juli
  dependency-version: 11.0.13
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 core/pom.xml | 2 +-
 dist/pom.xml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/core/pom.xml b/core/pom.xml
index 3abb014..a2f3f77 100644
--- a/core/pom.xml
+++ b/core/pom.xml
@@ -25,7 +25,7 @@
         <dependency>
             <groupId>org.apache.tomcat</groupId>
             <artifactId>tomcat-juli</artifactId>
-            <version>11.0.12</version>
+            <version>11.0.13</version>
             <scope>provided</scope>
         </dependency>
     </dependencies>
diff --git a/dist/pom.xml b/dist/pom.xml
index 084e132..0d4e708 100644
--- a/dist/pom.xml
+++ b/dist/pom.xml
@@ -19,7 +19,7 @@
     </modules>
 
     <properties>
-        <tomcat.version>11.0.12</tomcat.version> <!-- TO BE OVERRIDDEN BY CHILD -->
+        <tomcat.version>11.0.13</tomcat.version> <!-- TO BE OVERRIDDEN BY CHILD -->
     </properties>
 
     <dependencies>