Skip to content

Warn on delete failure, instead of hard exiting#376

Merged
danielbachhuber merged 3 commits intomainfrom improve/warning-delete-failureOct 11, 2023