From 7dd838b3c2ebddbc8ec2a4e9e05e60456de0061e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sevket=20G=C3=B6kay?= Date: Sun, 19 Dec 2021 11:34:09 +0100 Subject: [PATCH] version bump --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index 57fe2a92b..8f8063c3b 100644 --- a/pom.xml +++ b/pom.xml @@ -3,7 +3,7 @@ 4.0.0 de.rwth.idsg steve - 3.4.7 + 3.4.8 jar