> Oh! Sent out v3 with tweaked description as > https://gcc.gnu.org/pipermail/gcc-patches/2020-July/550168.html
Thanks. > I don't have a push access to gcc tree. Should I request one via > https://sourceware.org/cgi-bin/pdw/ps_form.cgi ? Sure, you can put me (ebotca...@libertysurf.fr) as sponsor if need be. -- Eric Botcazou
