chiark / gitweb /
journal: add tool to extract coredumps