From c760228924ae1b0f7b0336bf18cddddff079805d Mon Sep 17 00:00:00 2001 From: Marco Castelluccio Date: Thu, 9 Jan 2020 18:27:44 +0100 Subject: [PATCH] bot: Update grcov to v0.5.9 --- 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 c3d28e163..11b753d77 100755 --- a/bot/ci/bootstrap.sh +++ b/bot/ci/bootstrap.sh @@ -1,5 +1,5 @@ #!/bin/bash -ex -GRCOV_VERSION="v0.5.8" +GRCOV_VERSION="v0.5.9" MERCURIAL_VERSION="5.2" VERSION_CONTROL_TOOLS_REV="102106f53cb2"