On Sat, Jan 06, 2024 at 14:17:14 +0100, Arsen Arsenović wrote: > 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.
No bites yet… Anyone willing to review this patch so that it gets mentioned on the website? Thanks, --Ben
