chiark / gitweb /
coredump: do not free twice