From 934c295bc03dbc1cd6b4ec760ec481659766120c Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Tue, 27 Jun 2023 09:46:21 +0200
Subject: [PATCH] bumped rascal-maven-plugin to 0.19.2

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 62126059f9..f117b22403 100644
--- a/pom.xml
+++ b/pom.xml
@@ -32,7 +32,7 @@
         <exec.mainClass>org.rascalmpl.shell.RascalShell</exec.mainClass>
         <rascal.test.memory>2</rascal.test.memory>
         <maven.compiler.release>11</maven.compiler.release>
-        <rascal-maven.version>0.19.0</rascal-maven.version>
+        <rascal-maven.version>0.19.2</rascal-maven.version>
     </properties>