Merge pull request #2364 from lambdageek/dev/checked-critical
authorAleksey Kliger (λgeek) <akliger@gmail.com>
Sat, 19 Dec 2015 16:57:01 +0000 (11:57 -0500)
committerAleksey Kliger (λgeek) <akliger@gmail.com>
Sat, 19 Dec 2015 16:57:01 +0000 (11:57 -0500)
[coop] checked build GC critical regions


Trivial merge