From 0e9a480dc5ccb67b2742363f10eded1bc9d30925 Mon Sep 17 00:00:00 2001 From: Rodin Aarssen Date: Thu, 7 Nov 2024 12:26:27 +0100 Subject: [PATCH] [maven-release-plugin] prepare release v0.13.0-RC3 --- pom.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pom.xml b/pom.xml index b5b8679..b9387c1 100644 --- a/pom.xml +++ b/pom.xml @@ -3,12 +3,12 @@ clair org.rascalmpl - 0.13.0-RC3-SNAPSHOT + 0.13.0-RC3 jar scm:git:https://github.com/cwi-swat/clair.git - HEAD + v0.13.0-RC3