On Tue, 8 Sep 2020, Willgerodt, Felix via Gcc-patches wrote: > Thanks for your review. It seems like the format issue was introduced by > my email client when hitting reply. Sorry for that! The original patch > is formatted correctly, as I used git send-email: > https://gcc.gnu.org/pipermail/gcc-patches/2020-August/552079.html > > Could you double-check and push the patch for me? This is the first time > I contribute to gcc and I therefore don't have write access.
I've now pushed this patch. -- Joseph S. Myers jos...@codesourcery.com
