From 48bcd733327f327f654f7d06907839d43bacbe86 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Mon, 11 Nov 2019 08:47:39 -0500
Subject: [PATCH] Remove usage of shortened commit ids.

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

diff --git a/pom.xml b/pom.xml
index b1143eb..6f19f3b 100644
--- a/pom.xml
+++ b/pom.xml
@@ -149,7 +149,6 @@
 					</execution>
 				</executions>
 				<configuration>
-					<shortRevisionLength>10</shortRevisionLength>
 					<doCheck>false</doCheck>
 					<doUpdate>false</doUpdate>
 				</configuration>