https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57076
--- Comment #8 from Eric Gallager <egallager at gcc dot gnu.org> --- (In reply to Francois-Xavier Coudert from comment #7) > Updated patch: > https://gcc.gnu.org/pipermail/gcc-patches/2020-November/557728.html ...and it got committed: https://gcc.gnu.org/pipermail/gcc-patches/2020-November/559336.html So, ok to close this?
