Merge pull request #3211 from BrzVlad/fix-finalizer-thread-exited
authorVlad Brezae <brezaevlad@gmail.com>
Fri, 1 Jul 2016 20:56:31 +0000 (23:56 +0300)
committerGitHub <noreply@github.com>
Fri, 1 Jul 2016 20:56:31 +0000 (23:56 +0300)
commit6b1b08cc60bab677a544944b0ddc1da1062c533a
treed724df6c943ad4ef5f959b11ca39f557c62ea02a
parent8e61507bba5edd2ad97beee6966f9daac67d8cd9
parent77c26ff20540f4e9a603e1fdb02603c5e7384563
Merge pull request #3211 from BrzVlad/fix-finalizer-thread-exited

[sgen] Speed up domain finalization at shutdown