From a6d92ed13e4b494cba67a7ce8890e202fa76eea3 Mon Sep 17 00:00:00 2001
From: Tobias Roeser <le.petit.fou@web.de>
Date: Fri, 8 Dec 2023 13:08:37 +0100
Subject: [PATCH] Update jline from 3.23.1 to 3.24.1 (#2908)

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

diff --git a/build.sc b/build.sc
index 0acc77561be..ab79d0d7706 100644
--- a/build.sc
+++ b/build.sc
@@ -130,7 +130,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.23.0"
+  val jline = ivy"org.jline:jline:3.24.1"
   val jna = ivy"net.java.dev.jna:jna:5.13.0"
   val jnaPlatform = ivy"net.java.dev.jna:jna-platform:5.13.0"