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