chiark / gitweb /
manager: report correctly which job was deleted when breaking cycle