robert cb92a566f8 unbreak mono by switching to the cooperative gc by default until ...

the default case gets fixed. this is not yet the default upstream
but ther plan is to do this soon
this update includes a hack that is being investigated upstream as well
in https://github.com/mono/mono/issues/6359

2018-03-29 19:33:18 +00:00

..

DESCR

…

PLIST

unbreak mono by switching to the cooperative gc by default until

2018-03-29 19:33:18 +00:00