Skip to content

Exit cleanly on Ctrl-C - #7

Merged
bboe merged 1 commit into
mainfrom
fix-ctrl-c-exit
Jun 15, 2026
Merged

Exit cleanly on Ctrl-C#7
bboe merged 1 commit into
mainfrom
fix-ctrl-c-exit

Commits

Commits on Jun 15, 2026