chiark / gitweb /
job: define job_type_is_redundant() to idenity unnecessary jobs