[tor-commits] [metrics-lib/master] Update to latest metrics-base.

[karsten at torproject.org]

commit 13a22d9ebef304a37179f65f0f00e3c71c3e2523
Author: Karsten Loesing <karsten.loesing at 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