From 87bbfb6b68bc6daaf64d507fc6023c51d9e437fb Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Sun, 13 Aug 2023 14:14:41 +0000
Subject: [PATCH] Bump org.jenkins-ci.plugins:plugin from 4.71 to 4.72 (#1001)

---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 649dbe8b..069b2fac 100644
--- 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>