From e8ec9735d5e8756627fc615e95502c39bec0c590 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 1 Oct 2026 06:45:09 +0000 Subject: [PATCH] Bump org.jline:jline-reader Bumps [org.jline:jline-reader](https://github.com/jline/jline3) from 3.27.0 to 3.30.15. - [Release notes](https://github.com/jline/jline3/releases) - [Commits](https://github.com/jline/jline3/compare/jline-3.27.0...jline-3.30.15) --- updated-dependencies: - dependency-name: org.jline:jline-reader dependency-version: 3.30.15 dependency-type: direct:production ... Signed-off-by: dependabot[bot] --- test/org/rascalmpl/util/maven/poms/multi-module/pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/org/rascalmpl/util/maven/poms/multi-module/pom.xml b/test/org/rascalmpl/util/maven/poms/multi-module/pom.xml index 07ad971a2fd..5e633395acb 100644 --- a/test/org/rascalmpl/util/maven/poms/multi-module/pom.xml +++ b/test/org/rascalmpl/util/maven/poms/multi-module/pom.xml @@ -61,7 +61,7 @@ org.jline jline-reader - 3.27.0 + 3.30.15 junit