projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0279b08 b0be338)
Merge pull request #5089 from alexrp/profiler-deadlock-fix
authorAlex Rønne Petersen <alex@alexrp.com>
Thu, 22 Jun 2017 18:56:48 +0000 (20:56 +0200)
committerGitHub <noreply@github.com>
Thu, 22 Jun 2017 18:56:48 +0000 (20:56 +0200)
[profiler] Fix a deadlock due to recursive use of the buffer lock.


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