From 7dc88ca83d3fc5264dc9ac559bb0d5e6a42f00ab Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Thu, 29 Jun 2023 10:46:00 +0200
Subject: [PATCH] [maven-release-plugin] prepare release v0.1.12

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

diff --git a/pom.xml b/pom.xml
index a52bfb6..edf78f0 100644
--- a/pom.xml
+++ b/pom.xml
@@ -4,12 +4,12 @@
 
     <groupId>edu.appstate.cs</groupId>
     <artifactId>rascal-git</artifactId>
-    <version>0.1.12-SNAPSHOT</version>
+    <version>0.1.12</version>
     <packaging>jar</packaging>
 
     <scm>
         <developerConnection>scm:git:https://github.com/cwi-swat/rascal-git.git</developerConnection>			
-        <tag>HEAD</tag>
+        <tag>v0.1.12</tag>
     </scm>
 
     <properties>