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

[karsten at torproject.org]

commit 53b16d192da4a7fa5c1987a89a60257061602882
Author: Karsten Loesing <karsten.loesing at gmx.net>
Date:   Mon Aug 12 09:34:04 2019 +0200

    Remove Cobertura from the build process.
---
 CHANGELOG.md | 1 +
 src/build    | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 560ee96..b804ceb 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -10,6 +10,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 2.6.2 - 2019-05-29
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