chiark / gitweb /
git-cache-proxy: housekeeping: check errno value from stat after deletion