chiark / gitweb /
coredump: fix debug message