From eda8d0f4d2bf6bca54a9b95c396dfb0e45e77cfa Mon Sep 17 00:00:00 2001 From: Luca Frosini Date: Wed, 4 Nov 2020 17:37:44 +0100 Subject: [PATCH] Upgraded version --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index 6dd4769..b06b553 100644 --- a/pom.xml +++ b/pom.xml @@ -10,7 +10,7 @@ org.gcube.information-system resource-registry-api - 4.0.0 + 4.1.0-SNAPSHOT Resource Registry API Resource Registry API is a library containing classes shared across resource-registry-* components