Update jline from 3.25.0 to 3.25.1 (#3035)

Pull request: #3035
com-lihaoyi · Feb 19, 2024 · 2ef98b5 · 2ef98b5
1 parent a3ccab6
commit 2ef98b5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.25.0"
+  val jline = ivy"org.jline:jline:3.25.1"
   val jnaVersion = "5.14.0"
   val jna = ivy"net.java.dev.jna:jna:${jnaVersion}"
   val jnaPlatform = ivy"net.java.dev.jna:jna-platform:${jnaVersion}"