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

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

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

--- Comment #5 from Paul Thomas <pault at gcc dot gnu.org> ---
(In reply to anlauf from comment #4)
> This PR seems to have been fixed 3 years ago.
> 
> @Paul: can we close it?

That's a grand idea, Harald! Duly closed. I have no idea why it was marked as
'waiting'.

Thanks for the report.

Paul

Reply via email to