From c45b6188184fb96f2bd62c7692116e54293792b3 Mon Sep 17 00:00:00 2001
From: Kathrin Huber <kathrin.huber@slub-dresden.de>
Date: Mon, 17 Feb 2020 14:59:51 +0100
Subject: [PATCH] change to version 2.3.1

---
 build.xml  | 2 +-
 deploy.xml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.xml b/build.xml
index 47feb8ad4d3..94ab816bca8 100644
--- a/build.xml
+++ b/build.xml
@@ -34,7 +34,7 @@
 
     <property name="build.dist.dir" value="${basedir}/dist"/>
     <property name="build.dist.name" value="kitodo-production"/>
-    <property name="build.dist.version" value="2.3.0" />
+    <property name="build.dist.version" value="2.3.1" />
     <property name="build.dist.vendor" value="kitodo.org"/>
     <property name="build.dist.url" value="https://github.com/kitodo/kitodo-production"/>
     <property name="build.dist.war" value="${build.dist.dir}/${build.dist.name}-${build.dist.version}.war"/>
diff --git a/deploy.xml b/deploy.xml
index 03fdcfcd836..fc171d5cc29 100644
--- a/deploy.xml
+++ b/deploy.xml
@@ -24,7 +24,7 @@
 
     <!-- Default build properties (applied if not overridden by build.properties file) -->
     <property name="build.dist.name" value="kitodo-production" />
-    <property name="build.dist.version" value="2.3.0" />
+    <property name="build.dist.version" value="2.3.1" />
     <property name="build.dir" value="./build" />
     <property name="build.dist.dir" value="${basedir}/dist" />
     <property name="build.dist.war" value="${build.dist.dir}/${build.dist.name}-${build.dist.version}.war" />