commit d63f12cc7b798826c2c156415bf1d573f7c3f4ea
author Stephan Wahlbrink <sw@wahlbrink.eu> Thu Jul 11 10:08:24 2019 +0200
committer Stephan Wahlbrink <sw@wahlbrink.eu> Thu Jul 11 10:08:45 2019 +0200
tree 4c9245d858b39e3cf25cff99fbb8bdb7dcfca54b
parent f5f68ab53c1ccfa4eb1be5f45a6168a8099edab5

[Releng] Fix StatET version in maven pom

Follow-up-to: f5f68ab53c1ccfa4eb1be5f45a6168a8099edab5

releng/pom.xml

diff --git a/releng/pom.xml b/releng/pom.xml
index 364ab62..ffd80c0 100644
--- a/releng/pom.xml
+++ b/releng/pom.xml
@@ -47,7 +47,7 @@
 		<qualifier.format>yyyyMMddHHmm</qualifier.format>
 		<maven.build.timestamp.format>yyyyMMddHHmm</maven.build.timestamp.format>
 		
-		<statet.version>4.0.0</statet.version>
+		<statet.version>4.0.1</statet.version>
 		<statet.target.id>E201812</statet.target.id>
 		<statet.build.timestamp>${maven.build.timestamp}</statet.build.timestamp>
 		<statet.build.type></statet.build.type>