On Fri, 17 Jul 2020 10:19:41 +0200 Eric Botcazou <botca...@adacore.com> wrote:
> > 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. Got access and pushed as https://gcc.gnu.org/g:87891d5eafe8 Will cherry-pick it to gcc-10 as well after 10.2 release. Thank you! -- Sergei
