From 2ac20e020c8a17702283abc92f5fc900ec22895a Mon Sep 17 00:00:00 2001
From: Massimiliano Assante <massimiliano.assante@isti.cnr.it>
Date: Thu, 27 Feb 2020 15:14:05 +0100
Subject: [PATCH] Feature #17913 merged

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

diff --git a/pom.xml b/pom.xml
index 6f5edea..0fafb37 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.3</version>
+	<version>1.4.0</version>
 	<description>
 		Workspace Widget
 		</description>