From dc840a2cc8be614bd05e1574ef940dc2094f2f90 Mon Sep 17 00:00:00 2001
From: "Jurgen J. Vinju" <Jurgen.Vinju@cwi.nl>
Date: Wed, 13 Mar 2024 16:12:10 +0100
Subject: [PATCH] [maven-release-plugin] prepare release v0.25.1-BOOT1

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

diff --git a/pom.xml b/pom.xml
index 184901d..793d7fb 100644
--- a/pom.xml
+++ b/pom.xml
@@ -3,12 +3,12 @@
 
     <groupId>org.rascalmpl</groupId>
     <artifactId>rascal-maven-plugin</artifactId>
-    <version>0.25.0-BOOT2-SNAPSHOT</version>
+    <version>0.25.1-BOOT1</version>
     <packaging>maven-plugin</packaging>
 
     <scm>
         <developerConnection>scm:git:ssh://git@github.com/usethesource/rascal-maven-plugin.git</developerConnection>
-        <tag>HEAD</tag>
+        <tag>v0.25.1-BOOT1</tag>
       </scm>
 
     <name>Rascal Maven Plugin</name>