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

[karsten at torproject.org]

commit a5df8ebcc92a13c2dba80422a199aeb16f935c9b
Author: Karsten Loesing <karsten.loesing at gmx.net>
Date:   Mon Jul 16 12:20:06 2018 +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 a67a471..f6c7e0e 160000
--- a/src/submods/metrics-lib
+++ b/src/submods/metrics-lib
@@ -1 +1 @@
-Subproject commit a67a4713f64dca654928d10d6f5ff469540a47cf
+Subproject commit f6c7e0e4d9c69f889206687f23ca7dadd23a4e99