chiark / gitweb /
time-dst: use _cleanup_