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
- [PING] Re: [PATCH] Add files to discourage submissions of PR... Eric Gallager
- Re: [PING] Re: [PATCH] Add files to discourage submissi... Jeff Law
- Re: [PING] Re: [PATCH] Add files to discourage subm... Eric Gallager
- Re: [PING] Re: [PATCH] Add files to discourage ... Eric Gallager
