chiark / gitweb /
coredump: don't expose the compression level as configuration option