Make sure unzipped directories are owner-executable#387
Merged
lihaoyi merged 2 commits intocom-lihaoyi:mainfrom May 7, 2025
Merged
Make sure unzipped directories are owner-executable#387lihaoyi merged 2 commits intocom-lihaoyi:mainfrom
lihaoyi merged 2 commits intocom-lihaoyi:mainfrom