From c5f03ed409826cd1afd81b7896b0abd504fb06ad Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Wed, 10 Jan 2018 23:16:48 +0100
Subject: [PATCH] [maven-release-plugin] prepare release v0.9.3

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

diff --git a/pom.xml b/pom.xml
index 33a37af14af..6a7acda3b49 100644
--- a/pom.xml
+++ b/pom.xml
@@ -3,13 +3,13 @@
 
 	<groupId>org.rascalmpl</groupId>
 	<artifactId>rascal</artifactId>
-	<version>0.9.3-SNAPSHOT</version>
+	<version>0.9.3</version>
 
 	<packaging>jar</packaging>
 
 	<scm>
 		<developerConnection>scm:git:ssh://git@github.com/usethesource/rascal.git</developerConnection>
-	  <tag>HEAD</tag>
+	  <tag>v0.9.3</tag>
   </scm>
 
 	<!-- deployment configuration (usethesource) -->