Upgrade to Maven 3.9.1.

Closes #40
2023-04-06 16:19:42 +02:00
parent 4eab8927b2
commit 54b75ca8b1
2 changed files with 2 additions and 2 deletions
--- a/ci/java-tools.properties
+++ b/ci/java-tools.properties
@@ -1,3 +1,3 @@
 # Tool requirements
 jdks=17.0.6,8.0.352,8.0.362
-maven=3.9.0
+maven=3.9.1