https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94080
--- Comment #2 from Bill Schmidt <wschmidt at gcc dot gnu.org> --- Let's see, with patches from late last year, can this be closed now?
wschmidt at gcc dot gnu.org via Gcc-bugs Thu, 21 Jan 2021 01:50:14 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94080
--- Comment #2 from Bill Schmidt <wschmidt at gcc dot gnu.org> --- Let's see, with patches from late last year, can this be closed now?