https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123943
anlauf at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|--- |FIXED
Status|NEW |RESOLVED
--- Comment #13 from anlauf at gcc dot gnu.org ---
(In reply to David Binderman from comment #12)
> Time to mark fixed ?
Apparently so. Closing as fixed.
