From 564e44a5aa623eade12ae176cc1fe1388731b919 Mon Sep 17 00:00:00 2001 From: Paulo Dias Date: Thu, 24 Oct 2019 16:46:06 +0100 Subject: [PATCH] build.xml: Bumping version to 2019.10.1. --- build.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build.xml b/build.xml index d643b8f788..0c70f4e747 100644 --- a/build.xml +++ b/build.xml @@ -57,7 +57,7 @@ For simple use the main targets are: - + @@ -74,7 +74,7 @@ For simple use the main targets are: - +