chiark / gitweb /
dgit-repos-server: tolerate missing _tmp in cleanup