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

[Gerald Pfeifer]

On Tue, 25 Feb 2020, Lewis Hyatt wrote:
> Just checking whether the below is OK for gcc 10 changes.html please. Thanks!
> https://gcc.gnu.org/ml/gcc-patches/2020-01/msg01667.html

Yes, this looks fine to me from a web perspective.

Thank you,
Gerald