Merge pull request #17905 from MegaphoneJon/fix-dummy-processor
authorSeamus Lee <seamuslee001@gmail.com>
Tue, 21 Jul 2020 20:31:44 +0000 (06:31 +1000)
committerGitHub <noreply@github.com>
Tue, 21 Jul 2020 20:31:44 +0000 (06:31 +1000)
[unreleased regression] Dummy processor now is ID 7 on buildkit sites


Trivial merge