https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93751
--- Comment #13 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- See https://gcc.gnu.org/contribute.html for the procedure. The patch is small so you can probably skip the legal prerequisites, but you must post it on the mailing list gcc-patc...@gcc.gnu.org in order to get it approved.
