From 16c57507f571ac64c7da4485afbd8a9ed311679a Mon Sep 17 00:00:00 2001
From: Okke Harsta <oharsta@zilverline.com>
Date: Thu, 30 Nov 2023 14:52:01 +0100
Subject: [PATCH] Release 7.2.10

---
 manage-gui/pom.xml    | 2 +-
 manage-server/pom.xml | 2 +-
 pom.xml               | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/manage-gui/pom.xml b/manage-gui/pom.xml
index b2ab5597..79cae6e4 100644
--- a/manage-gui/pom.xml
+++ b/manage-gui/pom.xml
@@ -5,7 +5,7 @@
     <parent>
         <groupId>org.openconext</groupId>
         <artifactId>manage</artifactId>
-        <version>7.2.10-SNAPSHOT</version>
+        <version>7.2.10</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
 
diff --git a/manage-server/pom.xml b/manage-server/pom.xml
index ab17469b..6d437b18 100644
--- a/manage-server/pom.xml
+++ b/manage-server/pom.xml
@@ -6,7 +6,7 @@
     <parent>
         <groupId>org.openconext</groupId>
         <artifactId>manage</artifactId>
-        <version>7.2.10-SNAPSHOT</version>
+        <version>7.2.10</version>
         <relativePath>../pom.xml</relativePath>
     </parent>
 
diff --git a/pom.xml b/pom.xml
index 94a3a561..9f88a78c 100644
--- a/pom.xml
+++ b/pom.xml
@@ -5,7 +5,7 @@
 
     <groupId>org.openconext</groupId>
     <artifactId>manage</artifactId>
-    <version>7.2.10-SNAPSHOT</version>
+    <version>7.2.10</version>
     <packaging>pom</packaging>
 
     <name>manage</name>