From 85c580ec22bc85519ff13e7953c557e0005854bd Mon Sep 17 00:00:00 2001
From: Even Solbraa <41290109+EvenSol@users.noreply.github.com>
Date: Thu, 21 Dec 2023 09:42:58 +0100
Subject: [PATCH] Update pom.xml (#888)

* 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 e249b2ed28..d3cca03453 100644
--- a/pom.xml
+++ b/pom.xml
@@ -10,7 +10,7 @@
 	<version>${revision}${sha1}${changelist}</version>
 
 	<properties>
-		<revision>2.5.12</revision>
+		<revision>2.5.13</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 50ffba3cc5..afdb86d51f 100644
--- a/pomJava8.xml
+++ b/pomJava8.xml
@@ -10,7 +10,7 @@
 	<version>${revision}${sha1}${changelist}-Java8</version>
 
 	<properties>
-		<revision>2.5.12</revision>
+		<revision>2.5.13</revision>
 		<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
 		<project.reporting.outputEncoding>UTF-8</project.reporting.outputEncoding>
 		<sha1 />