From b29c40f832706fcb89c7550aa0a4a266e060d7e2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B6nke=20Ludwig?= Date: Tue, 6 Feb 2024 13:24:56 +0100 Subject: [PATCH] fixup --- run-ci.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 run-ci.sh diff --git a/run-ci.sh b/run-ci.sh old mode 100644 new mode 100755