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
