From 767e7b0dfa4dca372ccf6b0f076089adda2405e6 Mon Sep 17 00:00:00 2001
From: Davy Landman <davy.landman@swat.engineering>
Date: Wed, 4 Sep 2024 09:42:23 +0200
Subject: [PATCH] Making sure the next release of rascal-core will be 0.12.5
 not the backported one

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

diff --git a/pom.xml b/pom.xml
index 207097cb..0d19f105 100644
--- a/pom.xml
+++ b/pom.xml
@@ -9,7 +9,7 @@
 
     <groupId>org.rascalmpl</groupId>
     <artifactId>rascal-core</artifactId>
-    <version>0.12.4-SNAPSHOT</version>
+    <version>0.12.5-SNAPSHOT</version>
 
     <packaging>jar</packaging>