Merge pull request #1376 from criteo-forks/PR_dotnet-dump
authorMike McLaughlin <mikem@microsoft.com>
Sat, 25 Jul 2020 17:00:37 +0000 (10:00 -0700)
committerGitHub <noreply@github.com>
Sat, 25 Jul 2020 17:00:37 +0000 (10:00 -0700)
Add new "extended" commands based on ClrMD to dotnet-dump


Trivial merge