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 subject, hopefully that works. Have a lovely day! -- Arsen Arsenović