Merge branch '3.0.x' into 4.0.x

jetty-project · May 20, 2024 · 34542fc · 34542fc
2 parents 8493b6d + cc6816f
commit 34542fc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -58,4 +58,4 @@ def mavenBuild(String jdk, String cmdline, String mvnName, boolean recordJacoco)
       }
     }
   }
-}
+}