diff options
author | Steve Kemp <steve@steve.org.uk> | 2015-12-18 13:29:28 +0200 |
---|---|---|
committer | Steve Kemp <steve@steve.org.uk> | 2015-12-18 13:29:28 +0200 |
commit | a1f292b0649376585281355bf6938598a730766a (patch) | |
tree | bb9e7273fc7487af3e0a8f6f38983bc23b47b5c2 /debian | |
parent | 80489e3ffe9b7ba139043cef5b4a7f08a018e4d7 (diff) |
Updated to revert to a set with no ordering.
This is more reliable, albeit potentially racy and with the failure
case that a job might be readded twice.
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions