[tor-commits] [metrics-web/master] Update to metrics-lib 2.9.1 and ExoneraTor 4.2.0.

[karsten at torproject.org]

commit 9d34311e53389493e68d5b885da9928454807044
Author: Karsten Loesing <karsten.loesing at gmx.net>
Date:   Sat Nov 9 20:38:51 2019 +0100

    Update to metrics-lib 2.9.1 and ExoneraTor 4.2.0.
---
 CHANGELOG.md            | 1 +
 build.xml               | 4 ++--
 src/submods/metrics-lib | 2 +-
 3 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 2147ed7..b8a4ed0 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -16,6 +16,7 @@
      few exceptions.
    - Remove Cobertura from the build process.
    - Update PostgreSQL JDBC driver version to 42.2.5.
+   - Update to metrics-lib 2.9.1 and ExoneraTor 4.2.0.
 
 
 # Changes in version 1.2.0 - 2018-08-25
diff --git a/build.xml b/build.xml
index 959d069..3efe4bc 100644
--- a/build.xml
+++ b/build.xml
@@ -10,8 +10,8 @@
   <property name="javadoc-title" value="MetricsWeb API Documentation"/>
   <property name="implementation-title" value="metrics-web" />
   <property name="release.version" value="1.2.0-dev" />
-  <property name="metricslibversion" value="2.6.2" />
-  <property name="exoneratorversion" value="4.1.0" />
+  <property name="metricslibversion" value="2.9.1" />
+  <property name="exoneratorversion" value="4.2.0" />
   <property name="jetty.version" value="-9.2.21.v20170120" />
   <property name="warfile"
             value="metrics-web-${release.version}.war"/>
diff --git a/src/submods/metrics-lib b/src/submods/metrics-lib
index 8763af4..87d998c 160000
--- a/src/submods/metrics-lib
+++ b/src/submods/metrics-lib
@@ -1 +1 @@
-Subproject commit 8763af44465445b2257f9740d4ce341f8334eead
+Subproject commit 87d998c542688c7e465486de24ef07c1cbece0b0