From 991c00b114dda77f0e940498482526d1882213a3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sevket=20G=C3=B6kay?= Date: Sun, 4 Jun 2023 08:40:13 +0200 Subject: [PATCH] version bump [ci skip] --- pom.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pom.xml b/pom.xml index 22427944d..51acff03b 100644 --- a/pom.xml +++ b/pom.xml @@ -3,7 +3,7 @@ 4.0.0 de.rwth.idsg steve - 3.5.0 + 3.6.0 jar SteVe