projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 8f8fc0e 2b53b83)
Merge pull request #3342 from ludovic-henry/gc-domain-finalizer-sem
authorLudovic Henry <ludovic@xamarin.com>
Mon, 1 Aug 2016 16:17:09 +0000 (18:17 +0200)
committerGitHub <noreply@github.com>
Mon, 1 Aug 2016 16:17:09 +0000 (18:17 +0200)
[gc] Replace domain finalizer request cond+mutex by a semaphore


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