[tor-commits] [metrics-web/master] Update to metrics-lib 2.15.0.

[karsten at torproject.org]

commit a07829a30bb85864f46f8668882689d16382ad6a
Author: Karsten Loesing <karsten.loesing at gmx.net>
Date:   Thu Dec 17 15:27:02 2020 +0100

    Update to metrics-lib 2.15.0.
---
 build.xml               | 2 +-
 src/submods/metrics-lib | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.xml b/build.xml
index 0d82a81..8cfc81a 100644
--- a/build.xml
+++ b/build.xml
@@ -10,7 +10,7 @@
   <property name="javadoc-title" value="MetricsWeb API Documentation"/>
   <property name="implementation-title" value="metrics-web" />
   <property name="release.version" value="1.3.0-dev" />
-  <property name="metricslibversion" value="2.14.0" />
+  <property name="metricslibversion" value="2.15.0" />
   <property name="exoneratorversion" value="4.4.0" />
   <property name="jetty.version" value="-9.2.21.v20170120" />
   <property name="warfile"
diff --git a/src/submods/metrics-lib b/src/submods/metrics-lib
index cf4830c..179d47e 160000
--- a/src/submods/metrics-lib
+++ b/src/submods/metrics-lib
@@ -1 +1 @@
-Subproject commit cf4830cac377503697c7e688e995a3f3cea5225e
+Subproject commit 179d47ee259ffe86302e57dad6cbc39fdbb72f0b