chiark / gitweb /
coredump: collect all /proc data useful for bug reporting