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

--- Comment #17 from Paul Thomas <pault at gcc dot gnu.org> ---
I presume that this PR can now be closed?

Paul

Reply via email to