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

Thomas Schwinge <tschwinge at gcc dot gnu.org> changed:

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

--- Comment #10 from Thomas Schwinge <tschwinge at gcc dot gnu.org> ---
Thomas Neumann, cool, I'm thus setting this RESOLVED, FIXED.  (Everyone, please
re-open if in fact there still remains any breakage.)

In the future, please feel free to set ASSIGNED to yourself any PRs that you're
working on, and later RESOLVED, FIXED, etc.

Reply via email to