From 034a3cb5a77ecfd6360c4cddb3b82b8ff0a08e8a Mon Sep 17 00:00:00 2001 From: Sevket Goekay Date: Thu, 27 Sep 2018 16:47:15 +0200 Subject: [PATCH] version bump for release --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index ac7169a2a..b42f6433b 100644 --- a/pom.xml +++ b/pom.xml @@ -3,7 +3,7 @@ 4.0.0 de.rwth.idsg steve - 3.0.2 + 3.1.0 jar