Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix the bug reported in #2216 where `--diff` is ignored when `--jobs` is non-zero. All credit for this fix goes to @ian-h-chamberlain, who reported the bug and found where the fix needed to be applied.
- Loading branch information