chiark / gitweb /
coredump: add simple coredump vacuuming