This repository has been archived by the owner on Nov 29, 2021. It is now read-only.
Ignore subsequent SIGINT once inside exit_cleanup()#273
Merged
bjoernricks merged 1 commit intogreenbone:masterfrom jjnicola:ctrl-cMay 15, 2020
+3
