chiark / gitweb /
coredump: add 3 more metadata fields to coredump entries