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

[Julien Fischer]

On Wed, 28 Jun 2023, Zoltan Somogyi wrote:

> 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.

Shall do.

Julien.