chiark / gitweb /
coredump: don't be annoyed if another coredump hook removes our coredump while we...