[maven-release-plugin] prepare release v0.13.1

usethesource · Nov 15, 2024 · f7f577b · f7f577b
1 parent 0a146f6
commit f7f577b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pom.xml b/pom.xml
@@ -3,12 +3,12 @@
 
 	<artifactId>clair</artifactId>
 	<groupId>org.rascalmpl</groupId>
-	<version>0.13.1-SNAPSHOT</version>
+	<version>0.13.1</version>
 	<packaging>jar</packaging>
 
         <scm>
             <developerConnection>scm:git:https://github.com/cwi-swat/clair.git</developerConnection>			
-            <tag>HEAD</tag>
+            <tag>v0.13.1</tag>
         </scm>
 
         <repositories>