From 32bd9b95459de5056a83780fe673397d65bacff2 Mon Sep 17 00:00:00 2001
From: Andreas Dangel <andreas.dangel@pmd-code.org>
Date: Fri, 31 May 2024 11:06:58 +0200
Subject: [PATCH] [maven-release-plugin] prepare release 7.2.0

---
 pom.xml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pom.xml b/pom.xml
index 6194c09b..d3f8d94e 100644
--- a/pom.xml
+++ b/pom.xml
@@ -4,7 +4,7 @@
     <groupId>net.sourceforge.pmd</groupId>
     <artifactId>pmd-designer</artifactId>
     <name>PMD Designer</name>
-    <version>7.2.0-SNAPSHOT</version>
+    <version>7.2.0</version>
 
     <description>The Rule Designer is a graphical tool that helps PMD users develop their custom rules.</description>
     <url>https://pmd.github.io</url>
@@ -20,7 +20,7 @@
         <connection>scm:git:git://github.com/pmd/pmd-designer.git</connection>
         <developerConnection>scm:git:ssh://git@github.com/pmd/pmd-designer.git</developerConnection>
         <url>https://github.com/pmd/pmd-designer</url>
-        <tag>HEAD</tag>
+        <tag>7.2.0</tag>
     </scm>
     <ciManagement>
         <url>https://github.com/pmd/pmd-designer/actions</url>
@@ -54,7 +54,7 @@
     </developers>
 
     <properties>
-        <project.build.outputTimestamp>2024-03-22T08:40:20Z</project.build.outputTimestamp>
+        <project.build.outputTimestamp>2024-05-31T09:04:17Z</project.build.outputTimestamp>
 
         <pmd.designer.version>${project.version}</pmd.designer.version> <!-- see DesignerVersion -->
         <pmd.core.version>7.0.0</pmd.core.version>