[m-rev.] upgrade Boehm GC to v7.6.6 + patch
Peter Wang
novalazy at gmail.com
Mon May 7 12:45:36 AEST 2018
Hi,
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.
Peter
More information about the reviews
mailing list