bot: Update grcov to version 0.5.12 (#479)

marco-c · web-flow · commit f163b130f95e · 2020-03-26T17:35:50.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.10"
+GRCOV_VERSION="v0.5.12"
 MERCURIAL_VERSION="5.3"
 VERSION_CONTROL_TOOLS_REV="2f7b4df4a928"
 
