Merge pull request #20770 from BruceForstall/EnableMoreDiffs
authorBruce Forstall <brucefo@microsoft.com>
Fri, 2 Nov 2018 20:47:35 +0000 (13:47 -0700)
committerGitHub <noreply@github.com>
Fri, 2 Nov 2018 20:47:35 +0000 (13:47 -0700)
Do PMI diffs on frameworks and benchmarks


Trivial merge