chiark / gitweb /
coredump: fix how the compression level is verified