Bump org.jenkins-ci.plugins:plugin from 4.71 to 4.72 (#251)

jenkinsci · Aug 13, 2023 · 72a96fe · 72a96fe
1 parent 560818d
commit 72a96fe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pom.xml b/pom.xml
@@ -4,7 +4,7 @@
     <parent>
         <groupId>org.jenkins-ci.plugins</groupId>
         <artifactId>plugin</artifactId>
-        <version>4.71</version>
+        <version>4.72</version>
         <relativePath />
     </parent>