https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100486
--- Comment #71 from Óscar Fuentes <gcc_bugzilla at axeitado dot com> --- (In reply to Eric Botcazou from comment #70) > Tentatively fixed, reopen if not. The bootstrap works. Thank you.
gcc_bugzilla at axeitado dot com via Gcc-bugs Wed, 20 Oct 2021 10:58:30 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100486
--- Comment #71 from Óscar Fuentes <gcc_bugzilla at axeitado dot com> --- (In reply to Eric Botcazou from comment #70) > Tentatively fixed, reopen if not. The bootstrap works. Thank you.