[m-rev.] diff: Upgrade Boehm GC to v7.6.10

Peter Wang novalazy at gmail.com
Mon Jan 7 16:18:22 AEDT 2019


boehm_gc:
    Update boehm_gc submodule to release-7_6-mercury-20190107.

diff --git a/NEWS b/NEWS
index db0738a06..a4a35f8f7 100644
--- a/NEWS
+++ b/NEWS
@@ -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
--- a/boehm_gc
+++ b/boehm_gc
@@ -1 +1 @@
-Subproject commit b08a6f1ff8f7c54bcea46dc32d85ae770a7d3ebb
+Subproject commit 5287fbab8a6f2284a12beeb9e3ba592301436b98
-- 
2.20.1



More information about the reviews mailing list