From 35d2d624291770bf2267c13a5b603d853e1a0b46 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Mon, 12 Aug 2019 09:02:10 -0400
Subject: [PATCH] Increase the shortened revision length from 5 to 10.

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

diff --git a/pom.xml b/pom.xml
index 7b0c30b..e0a1c11 100644
--- a/pom.xml
+++ b/pom.xml
@@ -289,7 +289,7 @@
 							</execution>
 						</executions>
 						<configuration>
-							<shortRevisionLength>5</shortRevisionLength>
+							<shortRevisionLength>10</shortRevisionLength>
 							<doCheck>false</doCheck>
 							<doUpdate>false</doUpdate>
 						</configuration>