From 54d0e7dc530075479dde23ac4fb9546182c53c32 Mon Sep 17 00:00:00 2001 From: Adriaan de Groot Date: Tue, 3 Oct 2023 13:53:30 +0200 Subject: [PATCH] CI: repair permissions on Debian deps --- ci/deps-debian11.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 ci/deps-debian11.sh diff --git a/ci/deps-debian11.sh b/ci/deps-debian11.sh old mode 100644 new mode 100755