From 1b3fbd874be8b65b42d43863cb9f695f544a46b1 Mon Sep 17 00:00:00 2001
From: Tobias Roeser <le.petit.fou@web.de>
Date: Wed, 27 Sep 2023 10:25:54 +0200
Subject: [PATCH] Update jline to 3.23.0 (#2787)

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

diff --git a/build.sc b/build.sc
index 9534c60c15b..e7694f4e848 100644
--- a/build.sc
+++ b/build.sc
@@ -116,7 +116,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.21.0"
+  val jline = ivy"org.jline:jline:3.23.0"
   val jna = ivy"net.java.dev.jna:jna:5.13.0"
   val jnaPlatform = ivy"net.java.dev.jna:jna-platform:5.13.0"