From 8a669efe4ba4335e8072aa2be1951ded61286a39 Mon Sep 17 00:00:00 2001
From: Massimiliano Assante <massimiliano.assante@isti.cnr.it>
Date: Fri, 15 Nov 2019 16:42:58 +0100
Subject: [PATCH] fixed pom for Jenkins

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

diff --git a/pom.xml b/pom.xml
index b36912c..e938024 100644
--- a/pom.xml
+++ b/pom.xml
@@ -12,7 +12,7 @@
 	<artifactId>workspace-widget-portlet</artifactId>
 	<packaging>war</packaging>
 	<name>workspace-widget-portlet Portlet</name>
-	<version>1.3.2-SNAPSHOT</version>
+	<version>1.3.2</version>
 	<description>
 		Workspace Widget
 		</description>