mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-17 23:05:21 +00:00
Upgrade Boehm GC to v7.6.2
boehm_gc:
Update boehm_gc submodule to release-7_6-mercury-20180108
This commit is contained in: