Merge pull request #24675 from sandreenko/excludeSuperPmiCollect
authorSergey Andreenko <seandree@microsoft.com>
Tue, 21 May 2019 18:14:24 +0000 (11:14 -0700)
committerGitHub <noreply@github.com>
Tue, 21 May 2019 18:14:24 +0000 (11:14 -0700)
Exclude superpmicollect with JitStress on arm.


Trivial merge