From 4072e7e2034d45b62ed7069ef9f87548470968dc Mon Sep 17 00:00:00 2001 From: Steve Waldman Date: Sat, 26 Jan 2019 20:38:27 -0800 Subject: [PATCH] It looks like there will be a 0.9.5.3... update version numbers for that. --- build.properties | 4 ++-- build.xml | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/build.properties b/build.properties index f347a022..cf5555b0 100644 --- a/build.properties +++ b/build.properties @@ -13,13 +13,13 @@ mchange-commons-java.dist.dir=lib # is intended to be built are shown below. usually you should leave # these alone. # -mchange-commons-java.version=0.2.13-SNAPSHOT +mchange-commons-java.version=0.2.15 mchange-commons-java.jar.file.name=mchange-commons-java-${mchange-commons-java.version}.jar mchange-commons-java.jar.file=${mchange-commons-java.dist.dir}/${mchange-commons-java.jar.file.name} mchange-commons-java.sources.jar.file=${mchange-commons-java.dist.dir}/mchange-commons-java-${mchange-commons-java.version}-sources.jar -# we compile against jdk 1.7, but output jdk 1.6 compatible classfiles. +# we compile against jdk 1.8, but output jdk 1.6 compatible classfiles. jvm.target.version=1.6 # >> DEBUGGING AND TRACING << diff --git a/build.xml b/build.xml index 4b86f7fc..976ee677 100644 --- a/build.xml +++ b/build.xml @@ -6,9 +6,9 @@ - + - +