chiark / gitweb /
manager: fix conflicting job check