projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 37922e3 0329a0f)
Merge pull request #1943 from alexrp/profiler-improvements
authorRodrigo Kumpera <kumpera@gmail.com>
Mon, 27 Jul 2015 23:10:23 +0000 (19:10 -0400)
committerRodrigo Kumpera <kumpera@gmail.com>
Mon, 27 Jul 2015 23:10:23 +0000 (19:10 -0400)
Follow-up to #1926


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