https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82649

Paul Thomas <pault at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED

--- Comment #4 from Paul Thomas <pault at gcc dot gnu.org> ---
This was fixed, at last, by commit
r17-6009-g6335154826f330eb1cb8291953385208623b3971 a mere 9 years after
Reinhold reported it. See comment 20 of PR82173. RIP

Regards

Paul

Reply via email to