Skip to content

CLI: Manually exit upon SIGINT reception#4933

Merged
xdoardo merged 2 commits intomainfrom ctrl-c-manual-exitJul 16, 2024