chiark / gitweb /
coredump: compress core files