From 8b5df7917239eea18d037b5ff1c948d20b383b77 Mon Sep 17 00:00:00 2001
From: Davy Landman <davy.landman@swat.engineering>
Date: Tue, 17 May 2022 11:48:06 +0200
Subject: [PATCH] Releasing rascal 0.23.2

---
 pom.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index 03cb3056e70..68dd46e2bac 100644
--- a/pom.xml
+++ b/pom.xml
@@ -3,12 +3,12 @@
 
     <groupId>org.rascalmpl</groupId>
     <artifactId>rascal</artifactId>
-    <version>0.23.2-SNAPSHOT</version>
+    <version>0.23.2</version>
     <packaging>jar</packaging>
 
     <scm>
         <developerConnection>scm:git:ssh://git@github.com/usethesource/rascal.git</developerConnection>
-      <tag>HEAD</tag>
+      <tag>v0.23.2</tag>
   </scm>
 
     <!-- dependency resolution configuration (usethesource) -->