Merge pull request #1058 from mikem8361/release/stable
authorMike McLaughlin <mikem@microsoft.com>
Thu, 23 Apr 2020 01:00:18 +0000 (18:00 -0700)
committerGitHub <noreply@github.com>
Thu, 23 Apr 2020 01:00:18 +0000 (18:00 -0700)
Port dotnet-dump modules perf fix to release/stable


Trivial merge