From 5afae1313752f414013e16ede8125e039160e2fe Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 7 Aug 2023 21:33:15 +0000
Subject: [PATCH] Bump org.jenkins-ci.plugins:plugin from 4.71 to 4.72 (#1494)

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

diff --git a/pom.xml b/pom.xml
index ec5b09e0c9..34aa44d877 100644
--- a/pom.xml
+++ b/pom.xml
@@ -5,7 +5,7 @@
   <parent>
     <groupId>org.jenkins-ci.plugins</groupId>
     <artifactId>plugin</artifactId>
-    <version>4.71</version>
+    <version>4.72</version>
     <relativePath />
   </parent>