projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 8e61507 77c26ff)
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)
[sgen] Speed up domain finalization at shutdown


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