From bdf13b95f47a9ef82cc58458c3c10f65b5ecf6be Mon Sep 17 00:00:00 2001 From: "Jurgen J. Vinju" Date: Wed, 13 Mar 2024 13:09:48 +0100 Subject: [PATCH] fix pom --- pom.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pom.xml b/pom.xml index c823ed84..414fa250 100644 --- a/pom.xml +++ b/pom.xml @@ -9,13 +9,13 @@ org.rascalmpl rascal-core - 0.8.2-BOOT1 + 0.8.3-BOOT1-SNAPSHOT jar scm:git:ssh://git@github.com/usethesource/rascal-core.git - v0.8.2-BOOT1 + HEAD