[m-rev.] diff: Upgrade Boehm GC to v7.6.10
novalazy at gmail.com
Mon Jan 7 16:18:22 AEDT 2019
Update boehm_gc submodule to release-7_6-mercury-20190107.
diff --git a/NEWS b/NEWS
index db0738a06..a4a35f8f7 100644
@@ -656,7 +656,7 @@ Changes to the Mercury compiler:
* We have disabled the old --num-reserved-objects option.
-* We have upgraded the bundled Boehm GC to v7.6.6 and libatomic_ops to v7.6.2.
+* We have upgraded the bundled Boehm GC to v7.6.10 and libatomic_ops to v7.6.2.
Change to the Mercury debugger:
diff --git a/boehm_gc b/boehm_gc
index b08a6f1ff..5287fbab8 160000
@@ -1 +1 @@
-Subproject commit b08a6f1ff8f7c54bcea46dc32d85ae770a7d3ebb
+Subproject commit 5287fbab8a6f2284a12beeb9e3ba592301436b98
More information about the reviews