From f163b130f95eef7b91c881b34e04e0cc32950b9f Mon Sep 17 00:00:00 2001
From: Marco Castelluccio <mcastelluccio@mozilla.com>
Date: Thu, 26 Mar 2020 17:35:50 +0100
Subject: [PATCH] bot: Update grcov to version 0.5.12 (#479)

---
 bot/ci/bootstrap.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bot/ci/bootstrap.sh b/bot/ci/bootstrap.sh
index 2afd025ac..732f24382 100755
--- 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"