From bf1953c5752e0cb9dee9b977ec613f334365e56e Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Fri, 8 May 2026 05:59:44 +0000
Subject: [PATCH] chore(deps): update dependency org.jline:jline to v3.30.13

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index e0a2f3bc..87ed2cb0 100644
--- a/pom.xml
+++ b/pom.xml
@@ -322,7 +322,7 @@
         <dependency>
             <groupId>org.jline</groupId>
             <artifactId>jline</artifactId>
-            <version>3.30.12</version>
+            <version>3.30.13</version>
             <scope>compile</scope>
             <optional>true</optional>
         </dependency>