chiark / gitweb /
coredump: replace Compression= setting by simpler Compress= boolean setting