Update pom.xml (#888)

* Update pom.xml * Update pomJava8.xml
equinor · Dec 21, 2023 · 85c580e · 85c580e
1 parent 3ae3794
commit 85c580e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -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 />