Hi Ben, Ben Boeckel <ben.boec...@kitware.com> 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 subject, hopefully that works. Have a lovely day! -- Arsen Arsenović
signature.asc
Description: PGP signature
