chiark / gitweb /
coredump: bump coredump truncation size from 24M to 768M