From e27b30e0b52229f66c5dae8aab0c2b95d877a135 Mon Sep 17 00:00:00 2001
From: Andreas Dangel <andreas.dangel@pmd-code.org>
Date: Fri, 31 May 2024 11:21:36 +0200
Subject: [PATCH] Bump pmd-designer from 7.2.0-SNAPSHOT to 7.2.0

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

diff --git a/pom.xml b/pom.xml
index 67b29d1f28..08703ea417 100644
--- a/pom.xml
+++ b/pom.xml
@@ -117,7 +117,7 @@
 
         <pmd.build-tools.version>25</pmd.build-tools.version>
 
-        <pmd-designer.version>7.2.0-SNAPSHOT</pmd-designer.version>
+        <pmd-designer.version>7.2.0</pmd-designer.version>
         <javacc.jar>${settings.localRepository}/net/java/dev/javacc/javacc/${javacc.version}/javacc-${javacc.version}.jar</javacc.jar>
         <javacc.outputDirectory>${project.build.directory}/generated-sources/javacc</javacc.outputDirectory>
         <javacc.ant.wrapper>${project.basedir}/../javacc-wrapper.xml</javacc.ant.wrapper>