projects / platform / upstream / coreclr.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 361892c fd8c359)
Merge pull request #13043 from davmason/profiler_r2r
authorDavid Mason <davmason@microsoft.com>
Thu, 27 Jul 2017 19:46:56 +0000 (12:46 -0700)
committerGitHub <noreply@github.com>
Thu, 27 Jul 2017 19:46:56 +0000 (12:46 -0700)
don't use r2r images when the profiler requests that ngen images are disabled


Trivial merge