From 9c7e02af238db2ce11a11d2283993b50c6d40125 Mon Sep 17 00:00:00 2001
From: Matthew Pickering <matthewtpickering@gmail.com>
Date: Wed, 12 Jun 2019 17:46:55 +0100
Subject: [PATCH] Execute .github-ci.sh

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

diff --git a/.github-ci.sh b/.github-ci.sh
old mode 100644
new mode 100755