From 3cad4a415d68c495fe723adadf9b43c46d72e80d Mon Sep 17 00:00:00 2001
From: Claudio Atzori <claudio.atzori@isti.cnr.it>
Date: Thu, 11 Apr 2024 15:44:12 +0200
Subject: [PATCH] fixed duplicated property dhp-schemas.version

---
 pom.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 7387f6e3b..8e6f16fe5 100644
--- a/pom.xml
+++ b/pom.xml
@@ -888,7 +888,6 @@
 		<mockito-core.version>3.3.3</mockito-core.version>
 		<mongodb.driver.version>3.4.2</mongodb.driver.version>
 		<vtd.version>[2.12,3.0)</vtd.version>
-		<dhp-schemas.version>[5.17.3]</dhp-schemas.version>
 		<dhp-schemas.version>[6.1.0]</dhp-schemas.version>
 		<dnet-actionmanager-api.version>[4.0.3]</dnet-actionmanager-api.version>
 		<dnet-actionmanager-common.version>[6.0.5]</dnet-actionmanager-common.version>