[m-rev.] for post-commit review: Upgrade Boehm GC to v7.6.12 and libatomic_ops to v7.6.8

[Zoltan Somogyi]

2020-04-02 16:36 GMT+11:00 Julien Fischer<jfischer at opturion.com>:
> 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?

I just  delete the whole boehm_gc directory and rerun configure.
I don't know whether that is necessary, but it seems to be sufficient,
and it is less work than *finding out* whether it is necessary :-)

Zoltan.