Skip to content

fix: correct exit from docker after exit signals#68

Merged
uid11 merged 3 commits intomainfrom fix/correct-exit-on-sigintMar 7, 2024