From d07cb25ee5a317c40fb5b08c8d92111a41046699 Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Mon, 14 Aug 2023 01:25:56 +0000
Subject: [PATCH] Update dependency org.jenkins-ci.plugins:plugin to v4.72

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

diff --git a/pom.xml b/pom.xml
index 4e6ea4f2..e003ae6a 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>