On Sat, Jan 06, 2024 at 14:17:14 +0100, Arsen Arsenović wrote:
> Hi Ben,
>
> Ben Boeckel writes:
>
> > Ping? Is this the right place to submit this patch?
>
> Yes, this is the correct list, though it is usually recommended to use
> --subject-prefix='PATCH wwwdocs' or such, to catch the right ey
Hi Ben,
Ben Boeckel writes:
> Ping? Is this the right place to submit this patch?
Yes, this is the correct list, though it is usually recommended to use
--subject-prefix='PATCH wwwdocs' or such, to catch the right eyes. See:
https://gcc.gnu.org/contribute.html#webchanges
I've added it to my s
