projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 56d5fce 4b9d067)
Merge pull request #5011 from kumpera/quiet-mode
authorRodrigo Kumpera <kumpera@users.noreply.github.com>
Tue, 13 Jun 2017 19:53:46 +0000 (15:53 -0400)
committerGitHub <noreply@github.com>
Tue, 13 Jun 2017 19:53:46 +0000 (15:53 -0400)
Don't emit profiler events we don't need to.


Trivial merge
my mono mirror. check out Moved to http://github.com/mono/mono