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

Paul Thomas <pault at gcc dot gnu.org> changed:

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

--- Comment #4 from Paul Thomas <pault at gcc dot gnu.org> ---
This was fixed on 2020-03-01. Commit
r10-6952-g7067f8c814088c1d02e40adf79a80f5ec53dbdde

I didn't have the hang of the git ChangeLog scheme at the time.

Paul

Reply via email to