Merge pull request #1029 from ranma42/dont_free_global_codeman-cleanup
commit0bb0e8a6b8d5c695f08e60dae571378be648aa52
authorZoltan Varga <vargaz@gmail.com>
Fri, 9 May 2014 01:03:40 +0000 (9 03:03 +0200)
committerZoltan Varga <vargaz@gmail.com>
Fri, 9 May 2014 01:03:40 +0000 (9 03:03 +0200)
tree13637f6d15cef0228584a8bbe88198f9be4d066d
parent37fd3b5e6533032d222ab6878ba10cf2e8a2fd6d
parent07a9e932983504133f4484ca27f6778d51914575
Merge pull request #1029 from ranma42/dont_free_global_codeman-cleanup

[runtime] Remove the last bits of mono_dont_free_global_codeman