chiark / gitweb /
manager: we are not interested in SIGSTOP notifications