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.

Reply via email to