https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124123
Tobias Burnus <burnus at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |burnus at gcc dot gnu.org
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #5 from Tobias Burnus <burnus at gcc dot gnu.org> ---
This should be FIXED by commit, referred to in comment 4.
CLOSE the PR, given that comment 2 and comment 3 confirmed that the submitted
patch fixes the issue.
Thanks for the report, sorry for the breakage - and for the slow patch review
on my side.
