[m-rev.] for post-commit review: Upgrade Boehm GC to v7.6.12 and libatomic_ops to v7.6.8
jfischer at opturion.com
Thu Apr 2 16:36:10 AEDT 2020
On Thu, 2 Apr 2020, Peter Wang wrote:
> Update boehm_gc submodule to release-7_6-mercury-20190402.
> Announce change.
> diff --git a/NEWS b/NEWS
> index 00865c7bb..4d2ba06e1 100644
> --- a/NEWS
> +++ b/NEWS
> @@ -244,6 +244,8 @@ Changes to the Mercury implementation
> Another consequence is that the `--trail-size` and `--trail-size-kwords`
> runtime options no longer have any effect, and are deprecated.
> +* We have upgraded the bundled Boehm GC to v7.6.12 and libatomic_ops to v7.6.8.
If the upgrade fixes any specific issues with Mercury you should list
them here as well.
As I recall, there's some git submodule magic required to update
existing workspaces. Could you please remind us (well, me at least!)
what that is?
Otherwise, that's fine.
More information about the reviews