From 9eff97869cc14bbae345db62a8b34f8161541ca1 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sun, 15 Dec 2019 12:44:16 +0100
Subject: [PATCH] mark as executable

---
 contrib/coverage.sh | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 mode change 100644 => 100755 contrib/coverage.sh

diff --git a/contrib/coverage.sh b/contrib/coverage.sh
old mode 100644
new mode 100755