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)
commit182be7ac059a916d568b984bd2a04c7424ec74b9
treea46ef02dc44cef70d7a0efa977580ed6b1cadbf9
parent8f8fc0efef038931451b2c26f2f03f739620dfc4
parent2b53b83f5a5f998a0dd821ce3926b0979889867c
Merge pull request #3342 from ludovic-henry/gc-domain-finalizer-sem

[gc] Replace domain finalizer request cond+mutex by a semaphore