chiark / gitweb /
job: fix deserialization of jobs: do not ignore ordering