From 2e724eee16a77ee0d9c8fab3ea1dc4cab1f91a4b Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Thu, 24 Aug 2023 18:19:39 +0200
Subject: [PATCH] [maven-release-plugin] prepare release v0.1.2

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

diff --git a/pom.xml b/pom.xml
index a30211a..511c2e3 100644
--- a/pom.xml
+++ b/pom.xml
@@ -3,12 +3,12 @@
 
 	<groupId>org.rascalmpl</groupId>
 	<artifactId>drambiguity</artifactId>
-	<version>0.1.2-SNAPSHOT</version>
+	<version>0.1.2</version>
 	<packaging>jar</packaging>
 
 	<scm>
 		<developerConnection>scm:git:ssh://git@github.com/cwi-swat/drambiguity.git</developerConnection>
-	  <tag>HEAD</tag>
+	  <tag>v0.1.2</tag>
   </scm>
 
 	<build>