bot: Update grcov to v0.5.8 (#364)

marco-c · La0 · commit b026cb27343c · 2020-01-07T12:50:03.000+01:00
diff --git a/bot/ci/bootstrap.sh b/bot/ci/bootstrap.sh
@@ -1,5 +1,5 @@
 #!/bin/bash -ex
-GRCOV_VERSION="v0.5.7"
+GRCOV_VERSION="v0.5.8"
 MERCURIAL_VERSION="5.1"
 VERSION_CONTROL_TOOLS_REV="709c897f2444"
 
