mono/mono — pull request #1029 by ranma42 (2014-05-09 00:53:50+00:00)
Title: [runtime] Remove the last bits of mono_dont_free_global_codeman

All uses of the mono_dont_free_global_codeman variable (including its
definition) have been removed in
4a1ae4694a2d4fc06bd1cb02b88dfeeeb8c90630.

Its declaration should be removed as well to keep the codebase clean.