[m-rev.] upgrade Boehm GC to v7.6.6 + patch

Peter Wang novalazy at gmail.com
Mon May 7 12:45:36 AEST 2018


I plan to switch the boehm_gc submodule to release-7_6-mercury-20180223.
It includes an important fix for Windows 10 (April 2018 update);
without the fix, any Mercury programs will crash on that OS.

That branch is also updated to Boehm GC to v7.6.6 from v7.6.4.

As there are a number of changes pending today, I'll hold off switching
the boehm_gc submodule until tommorrow or the day after.


More information about the reviews mailing list