chiark / gitweb /
manager: rearm jobs timer