[m-rev.] for review: updates for Boehm GC build system

[Zoltan Somogyi]

On 2023-06-28 08:59 +02:00 CEST, "Peter Wang" <novalazy at gmail.com> wrote:
> First, commit the changes on the release-8_0-mercury branch of our bdwgc
> repository. Add a tag named release-8_0-mercury-YYYYMMDD.
> Push the changes and the tag.
> 
> Next, check out the tag in the mercury/boehm_gc submodule.
> "git status" will say that the boehm_gc has been modified.
> You can git add and commit that change.
> 
> (If we were switching to a different branch in the boehm_gc submodule,
> you'd update .gitmodules as well.)

And when all that is done, update notes/update_boehm_gc.html
to include this info.

Zoltan.