chiark / gitweb /
util: make sure reset_all_signal_handlers() continues with all other signal handlers...