projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 14867db 87d8bde)
Merge pull request #5103 from alexrp/profiler-signal-ack-fix
authorRodrigo Kumpera <kumpera@users.noreply.github.com>
Fri, 23 Jun 2017 22:30:14 +0000 (15:30 -0700)
committerGitHub <noreply@github.com>
Fri, 23 Jun 2017 22:30:14 +0000 (15:30 -0700)
[profiler] Do the signal ack after checking that the thread is detached.


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