Upgrade to Maven 3.9.5.

Closes #63
2023-10-13 10:56:37 +02:00
parent 50bd97b6c4
commit 1c2ca1fc00
3 changed files with 4 additions and 3 deletions
--- a/ci/java-tools.properties
+++ b/ci/java-tools.properties
@@ -1,3 +1,3 @@
 # Tool requirements
 jdks=17.0.8,8.0.382
-maven=3.9.4
+maven=3.9.5