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

[karsten at torproject.org]

commit f83d75992174de9068872c23e146341732809d74
Author: Karsten Loesing <karsten.loesing at gmx.net>
Date:   Sat May 16 17:48:15 2020 +0200

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 0e23889..132f269 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -13,7 +13,7 @@
    - Estimate bridge users by country based on requests by country, if
      available, to get more accurate numbers than those obtained from
      unique IP address counts.
-   - Update to metrics-lib 2.12.2 and ExoneraTor 4.4.0.
+   - Update to metrics-lib 2.13.0 and ExoneraTor 4.4.0.
    - Switch from processing Torperf .tpf to OnionPerf analysis .json
      files.
 
diff --git a/build.xml b/build.xml
index 422f969..b44ac38 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.12.2" />
+  <property name="metricslibversion" value="2.13.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 95771bf..de0c37b 160000
--- a/src/submods/metrics-lib
+++ b/src/submods/metrics-lib
@@ -1 +1 @@
-Subproject commit 95771bfb9fa745849673ae11bfe4d5d422111a26
+Subproject commit de0c37b0880f496f766068ab2b21d8602535cae3