chiark / gitweb /
tmpfiles: remove dead branch