[m-rev.] for review: Upgrade Boehm GC to v7.6.2

[Peter Wang]

On Wed, 10 Jan 2018 00:41:33 -0500 (EST), Julien Fischer <jfischer at opturion.com> wrote:
> 
> Ta.  Could you please review the following change to the
> webpage as well.

That's fine.

Peter