bot: Update to grcov version 0.5.14

marco-c · marco-c · commit 9c08ab52b389 · 2020-05-11T19:49:27.000+02:00
diff --git a/bot/ci/bootstrap.sh b/bot/ci/bootstrap.sh
@@ -1,5 +1,5 @@
 #!/bin/bash -ex
-GRCOV_VERSION="v0.5.13"
+GRCOV_VERSION="v0.5.14"
 MERCURIAL_VERSION="5.3"
 VERSION_CONTROL_TOOLS_REV="2f7b4df4a928"
 
