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

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

[Lewis Hyatt]

Hello-

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

-Lewis

On Fri, Jan 24, 2020 at 10:25 AM Lewis Hyatt <lhyatt@gmail.com> wrote:
>
> Hello-
>
> There was a comment on PR67224:
> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67224#c33 suggesting to
> document this feature in changes.html. Here would be my suggestion, in case
> that's desirable. Thanks!
>
> -Lewis

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

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

[Lewis Hyatt]

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!

-Lewis

On Sat, Mar 7, 2020 at 6:23 PM Gerald Pfeifer <gerald@pfeifer.com> wrote:
>
> 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

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

[Lewis Hyatt]

On Wed, Mar 11, 2020 at 9:12 AM Lewis Hyatt <lhyatt@gmail.com> wrote:
> On Sat, Mar 7, 2020 at 6:23 PM Gerald Pfeifer <gerald@pfeifer.com> wrote:
> >
> > 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
>
> 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!

Hello-

Sorry to ask about this one again, it just still isn't clear to me
whether this change is OK to push or not? I took Gerald's message to
mean it's fine, as long as the content is approved. Thanks very much!

https://gcc.gnu.org/legacy-ml/gcc-patches/2020-01/msg01667.html
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67224#c34

-Lewis

Re: 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