[maven-release-plugin] prepare release 7.2.0

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>