https://gcc.gnu.org/bugzilla/show_bug.cgi?id=54663
vries at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |FIXED
--- Comment #6 from vries at gcc dot gnu.org ---
(In reply to Michael Eager from comment #5)
> (In reply to vries from comment #4)
> > A patch was committed for this PR. Can this PR be closed?
>
> Yes.
