https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64290
Paul Thomas <pault at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
--- Comment #8 from Paul Thomas <pault at gcc dot gnu.org> ---
Fixed on mainline. After a while, I will ask the list if a backport to
12-branch is OK.
Cheers
Paul
