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

commit 823eb35ba8e470c04874a32ab0efb3e81cfda1ef Author: Karsten Loesing <karsten.loesing@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