Ping: [PATCH] wwwdocs: Document support for extended identifiers added to GCC 10

[Marek Polacek]

On Wed, Mar 11, 2020 at 09:12:20AM -0400, Lewis Hyatt via Gcc-patches wrote:
> Great, thank you very much for taking a look at it. Sorry if this
> email is unnecessary noise, but it wasn't quite clear to me whether
> this should also still be approved from a content perspective? I
> didn't want to assume. Thanks!

Looks fine - please go ahead.

Thanks,
--
Marek Polacek • Red Hat, Inc. • 300 A St, Boston, MA