commit 13a22d9ebef304a37179f65f0f00e3c71c3e2523 Author: Karsten Loesing karsten.loesing@gmx.net Date: Tue Sep 5 14:03:51 2017 +0200

Update to latest metrics-base.

But override the switch from Java 7 to 8 until all metrics libraries depending on metrics-lib have upgraded to Java 8 first. --- build.xml | 1 + src/build | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml index 832f29a..3d712a1 100644 --- a/build.xml +++ b/build.xml @@ -12,6 +12,7 @@ <property name="implementation-title" value="Tor Metrics Library" /> <property name="name" value="metrics-lib" /> <property name="jarpatternprop" value="empty" /> + <property name="source-and-target-java-version" value="1.7" />

<patternset id="runtime" > <include name="commons-compress-1.13.jar"/> diff --git a/src/build b/src/build index b491c84..a64b94a 160000 --- a/src/build +++ b/src/build @@ -1 +1 @@ -Subproject commit b491c845ab81027d2f29fe541f8303ff151d3d0b +Subproject commit a64b94a635e5396266d5c5b5cf88850b9f4b6a24