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

[karsten at torproject.org]

commit 884b31988af03cd3fe9a72b9d19d5c694f61d726
Author: Karsten Loesing <karsten.loesing at gmx.net>
Date:   Sun Aug 16 12:16:05 2020 +0200

    Update to latest metrics-lib.
---
 src/submods/metrics-lib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/submods/metrics-lib b/src/submods/metrics-lib
index 1f3028d..cf4830c 160000
--- a/src/submods/metrics-lib
+++ b/src/submods/metrics-lib
@@ -1 +1 @@
-Subproject commit 1f3028d082befde33f2294231b41c84d21f4c99b
+Subproject commit cf4830cac377503697c7e688e995a3f3cea5225e