chiark / gitweb /
job: when cancelling jobs, make sure to propagate this properly to depending jobs