projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 86a0c69 f732cb9)
Merge pull request #3565 from vargaz/no-free-imt-thunks
authorRodrigo Kumpera <kumpera@users.noreply.github.com>
Fri, 16 Sep 2016 17:13:54 +0000 (10:13 -0700)
committerGitHub <noreply@github.com>
Fri, 16 Sep 2016 17:13:54 +0000 (10:13 -0700)
[runtime] Avoid freeing IMT thunks, some threads might still be execu…

1  2 
mono/metadata/domain.c patch | diff1 | diff2 | blob | history

diff --cc mono/metadata/domain.c
Simple merge
my mono mirror. check out Moved to http://github.com/mono/mono