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

[karsten at torproject.org]

commit 823eb35ba8e470c04874a32ab0efb3e81cfda1ef
Author: Karsten Loesing <karsten.loesing at gmx.net>
Date:   Mon Jul 9 15:13:48 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 feabf88..a67a471 160000
--- a/src/submods/metrics-lib
+++ b/src/submods/metrics-lib
@@ -1 +1 @@
-Subproject commit feabf88fff34465134da9ea61592f7f9c30415b7
+Subproject commit a67a4713f64dca654928d10d6f5ff469540a47cf