From 3f22f8f105b5a4f5254daa5d6b14afdfeb2ad4ac Mon Sep 17 00:00:00 2001 From: Pedro Larroy Date: Fri, 11 Jan 2019 00:17:40 +0000 Subject: [PATCH] Fix permissions of ci/docker/install/ubuntu_publish.sh --- ci/docker/install/ubuntu_publish.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 ci/docker/install/ubuntu_publish.sh diff --git a/ci/docker/install/ubuntu_publish.sh b/ci/docker/install/ubuntu_publish.sh old mode 100644 new mode 100755