chiark / gitweb /
manager: when isolating undo all pending jobs, too