[tor-commits] [metrics-web/release] Remove Cobertura from the build process.

[karsten at torproject.org]

commit a881d0f480fe8c4289c47a9e14fdcd016a2ade9e
Author: Karsten Loesing <karsten.loesing at gmx.net>
Date:   Wed Aug 14 11:47:41 2019 +0200

    Remove Cobertura from the build process.
---
 CHANGELOG.md            | 1 +
 src/build               | 2 +-
 src/submods/metrics-lib | 2 +-
 3 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 3c0f935..41bb5df 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -14,6 +14,7 @@
      copied to the `lib/` directory manually. Current dependency
      versions resolved by Ivy are the same as in Debian stretch with
      few exceptions.
+   - Remove Cobertura from the build process.
 
 
 # Changes in version 1.2.0 - 2018-08-25
diff --git a/src/build b/src/build
index 256e619..75cda35 160000
--- a/src/build
+++ b/src/build
@@ -1 +1 @@
-Subproject commit 256e6192ad0066e48c6abb0ee9ac71714c7a3a0f
+Subproject commit 75cda35ba7375ab0f5b12fa214620c3a29917097
diff --git a/src/submods/metrics-lib b/src/submods/metrics-lib
index e172870..53b16d1 160000
--- a/src/submods/metrics-lib
+++ b/src/submods/metrics-lib
@@ -1 +1 @@
-Subproject commit e1728709b5ed30dace2dd5b7e47a3e3c5e9e5736
+Subproject commit 53b16d192da4a7fa5c1987a89a60257061602882