Merge pull request #3014 from lambdageek/dev/coop-enabled
authorAleksey Kliger (λgeek) <akliger@gmail.com>
Wed, 18 May 2016 17:15:03 +0000 (13:15 -0400)
committerAleksey Kliger (λgeek) <akliger@gmail.com>
Wed, 18 May 2016 17:15:03 +0000 (13:15 -0400)
[coop] Make mono_threads_is_coop_enabled a normal function


Trivial merge