From f7dd1eeb6a70a41b0e9fd76e52c199ca619bff3d Mon Sep 17 00:00:00 2001 From: eduardo Date: Thu, 23 Mar 2023 22:11:49 +0100 Subject: [PATCH] Fix permissions for release github script --- scripts/release/github_release.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 scripts/release/github_release.sh diff --git a/scripts/release/github_release.sh b/scripts/release/github_release.sh old mode 100644 new mode 100755