chiark / gitweb /
job: fix loss of ordering with restart jobs