version bump

steve-community · Dec 19, 2021 · 7dd838b · 7dd838b
1 parent 1e4e29a
commit 7dd838b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -3,7 +3,7 @@
  <modelVersion>4.0.0</modelVersion>
  <groupId>de.rwth.idsg</groupId>
  <artifactId>steve</artifactId>
- <version>3.4.7</version>
+ <version>3.4.8</version>
  <packaging>jar</packaging>
 
  <organization>