https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100245
--- Comment #4 from José Rui Faustino de Sousa <jrfsousa at gcc dot gnu.org> --- On 01/09/22 19:30, anlauf at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100245 > Hi Anlauf, Sorry for the very late answer, but at the moment I am far too busy to even look into it. Do as you see fit, it is fine by me. Best regards, José Rui > anlauf at gcc dot gnu.org changed: > > What |Removed |Added > ---------------------------------------------------------------------------- > CC| |anlauf at gcc dot gnu.org > > --- Comment #3 from anlauf at gcc dot gnu.org --- > Jose, your patch looks fine, but unfortunately was never reviewed. > Do you plan to ping it, or shall I take care of it? >