Bump maven-plugin-tools.version from 3.7.0 to 3.7.1 (#25)

jenkinsci · Jan 16, 2023 · 6498537 · 6498537
1 parent f37c39e
commit 6498537
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/maven-jellydoc-plugin/pom.xml b/maven-jellydoc-plugin/pom.xml
@@ -66,7 +66,7 @@
   <properties>
     <maven.version>3.8.7</maven.version>
     <plexus.version>2.1.1</plexus.version>
-    <maven-plugin-tools.version>3.7.0</maven-plugin-tools.version>
+    <maven-plugin-tools.version>3.7.1</maven-plugin-tools.version>
     <!-- TODO fix violations -->
     <spotbugs.threshold>High</spotbugs.threshold>
     <!-- TODO site generation broken for submodules -->