From 137735683c748c9e6309999699f1aff00e87fa3c Mon Sep 17 00:00:00 2001
From: Tobias Roeser <le.petit.fou@web.de>
Date: Wed, 10 Jan 2024 13:30:42 +0100
Subject: [PATCH] Update jline from 3.24.1 to 3.25.0 (#2962)

Pull request: https://github.com/com-lihaoyi/mill/pull/2962
---
 build.sc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.sc b/build.sc
index f7aa30fd27d..cfa1b636adc 100644
--- a/build.sc
+++ b/build.sc
@@ -132,7 +132,7 @@ object Deps {
 
   val jgraphtCore = ivy"org.jgrapht:jgrapht-core:1.4.0" // 1.5.0+ dont support JDK8
 
-  val jline = ivy"org.jline:jline:3.24.1"
+  val jline = ivy"org.jline:jline:3.25.0"
   val jnaVersion = "5.14.0"
   val jna = ivy"net.java.dev.jna:jna:${jnaVersion}"
   val jnaPlatform = ivy"net.java.dev.jna:jna-platform:${jnaVersion}"