On Wed, Nov 1, 2023 at 7:25 PM Eric Gallager wrote:
>
> On Wed, Nov 1, 2023 at 11:31 AM Jeff Law wrote:
> >
> >
> >
> > On 11/1/23 08:11, Eric Gallager wrote:
> > > Hi, I'd like to ping the following patch:
> > >
> > > https://gcc.gnu.org/pipermail/gcc-patches/2023-October/633191.html
> > OK for
On Wed, Nov 1, 2023 at 11:31 AM Jeff Law wrote:
>
>
>
> On 11/1/23 08:11, Eric Gallager wrote:
> > Hi, I'd like to ping the following patch:
> >
> > https://gcc.gnu.org/pipermail/gcc-patches/2023-October/633191.html
> OK for the trunk.
>
Thanks, committed as r14-5064-g2b9778c8d9d331:
https://gcc.
On 11/1/23 08:11, Eric Gallager wrote:
Hi, I'd like to ping the following patch:
https://gcc.gnu.org/pipermail/gcc-patches/2023-October/633191.html
OK for the trunk.
jeff
Hi, I'd like to ping the following patch:
https://gcc.gnu.org/pipermail/gcc-patches/2023-October/633191.html
On Mon, Oct 16, 2023 at 8:50 PM Eric Gallager wrote:
>
> On Mon, Oct 16, 2023 at 7:58 PM Andrew Pinski wrote:
> >
> > On Mon, Oct 16, 2023, 16:39 Eric Gallager wrote:
> >>
> >> Currentl
On Mon, Oct 16, 2023 at 7:58 PM Andrew Pinski wrote:
>
>
>
> On Mon, Oct 16, 2023, 16:39 Eric Gallager wrote:
>>
>> Currently there is an unofficial mirror of GCC on GitHub that people
>> sometimes submit pull requests to:
>> https://github.com/gcc-mirror/gcc
>> However, this is not the proper wa
On Mon, Oct 16, 2023, 16:39 Eric Gallager wrote:
> Currently there is an unofficial mirror of GCC on GitHub that people
> sometimes submit pull requests to:
> https://github.com/gcc-mirror/gcc
> However, this is not the proper way to contribute to GCC, so that means
> that someone (usually Jonath
Currently there is an unofficial mirror of GCC on GitHub that people
sometimes submit pull requests to:
https://github.com/gcc-mirror/gcc
However, this is not the proper way to contribute to GCC, so that means
that someone (usually Jonathan Wakely) has to go through the PRs and
manually tell people
