From e44460c9fdb45df6de18103002b5e74d18a4924a Mon Sep 17 00:00:00 2001
From: Antonin Portelli <antonin.portelli@me.com>
Date: Fri, 26 Apr 2019 16:55:14 +0100
Subject: [PATCH] permission fix

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

diff --git a/ci-scripts/install-gsl.sh b/ci-scripts/install-gsl.sh
old mode 100644
new mode 100755