From af218613fcad2a990c00777f6c840611855b37ec Mon Sep 17 00:00:00 2001
From: Thomas Lenz <tlenz@iaik.tugraz.at>
Date: Wed, 26 Sep 2018 14:12:10 +0200
Subject: update Redis plugin for Spring

---
 id/server/idserverlib/pom.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/id/server/idserverlib/pom.xml b/id/server/idserverlib/pom.xml
index fb977c071..a8a1a2695 100644
--- a/id/server/idserverlib/pom.xml
+++ b/id/server/idserverlib/pom.xml
@@ -489,13 +489,13 @@
  		<dependency>
 	        <groupId>org.springframework.data</groupId>
 	        <artifactId>spring-data-redis</artifactId>
-	        <version>1.7.4.RELEASE</version>
+	        <version>1.8.14.RELEASE</version>
 	    </dependency>
 	
 	    <dependency>
 	    	<groupId>org.apache.commons</groupId>
 	    	<artifactId>commons-pool2</artifactId>
-	    	<version>2.4.2</version>
+	    	<version>2.4.3</version>
 	    </dependency>
 	    <dependency>
 	    	<groupId>redis.clients</groupId>
-- 
cgit v1.2.3