From dbdc5a6f2895c40b83fbe9f7ba6f78a4eb806108 Mon Sep 17 00:00:00 2001
From: Even Solbraa <41290109+EvenSol@users.noreply.github.com>
Date: Wed, 6 Dec 2023 18:37:34 +0100
Subject: [PATCH] version 2.5.12 (#875)

* Update pom.xml

* Update pomJava8.xml
---
 pom.xml      | 2 +-
 pomJava8.xml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index 0d70674fbe..a383957ff8 100644
--- a/pom.xml
+++ b/pom.xml
@@ -10,7 +10,7 @@
 	<version>${revision}${sha1}${changelist}</version>
 
 	<properties>
-		<revision>2.5.11</revision>
+		<revision>2.5.12</revision>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
 		<project.reporting.outputEncoding>UTF-8</project.reporting.outputEncoding>
 		<sha1/>
diff --git a/pomJava8.xml b/pomJava8.xml
index 64f2c3929d..50ffba3cc5 100644
--- a/pomJava8.xml
+++ b/pomJava8.xml
@@ -10,7 +10,7 @@
 	<version>${revision}${sha1}${changelist}-Java8</version>
 
 	<properties>
-		<revision>2.5.11</revision>
+		<revision>2.5.12</revision>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
 		<project.reporting.outputEncoding>UTF-8</project.reporting.outputEncoding>
 		<sha1 />