From 16766aadcdf8ef570efa231486396d3e6385bad8 Mon Sep 17 00:00:00 2001 From: "Jurgen J. Vinju" Date: Thu, 21 Apr 2022 18:31:28 +0200 Subject: [PATCH] [maven-release-plugin] prepare release v0.23.1 --- pom.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pom.xml b/pom.xml index d1e1488b62e..04aaa19c9ab 100644 --- a/pom.xml +++ b/pom.xml @@ -3,12 +3,12 @@ org.rascalmpl rascal - 0.23.1-SNAPSHOT + 0.23.1 jar scm:git:ssh://git@github.com/usethesource/rascal.git - HEAD + v0.23.1