Closed dcramer closed 4 years ago
This fixes a race condition between cleanup_jobs and newly enqueued jobs (which haven't started).
bors r+
This fixes a race condition between cleanup_jobs and newly enqueued jobs (which haven't started).
bors r+