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

usethesource · Jun 13, 2024 · 276601d · 276601d
1 parent cd3e6d2
commit 276601d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pom.xml b/pom.xml
@@ -9,7 +9,7 @@
 
     <groupId>org.rascalmpl</groupId>
     <artifactId>typepal</artifactId>
-    <version>0.13.0-BOOT3-SNAPSHOT</version>
+    <version>0.13.1</version>
     <packaging>jar</packaging>
 
     <properties>
@@ -20,7 +20,7 @@
 
     <scm>
         <developerConnection>scm:git:ssh://[email protected]/usethesource/typepal.git</developerConnection>
-        <tag>v0.11.5</tag>
+        <tag>v0.13.1</tag>
   </scm>
 
     <build>