[m-rev.] for post-commit review: Upgrade Boehm GC to v7.6.12 and libatomic_ops to v7.6.8
zoltan.somogyi at runbox.com
Thu Apr 2 17:01:04 AEDT 2020
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 :-)
More information about the reviews