CI: repair permissions on Debian deps

This commit is contained in:
Adriaan de Groot 2023-10-03 13:53:30 +02:00
parent d940675445
commit 54d0e7dc53

0
ci/deps-debian11.sh Normal file → Executable file
View File