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

jenkinsci · Aug 13, 2023 · 87bbfb6 · 87bbfb6
1 parent 321fe55
commit 87bbfb6
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>