https://gcc.gnu.org/bugzilla/show_bug.cgi?id=45516
--- Comment #10 from janus at gcc dot gnu.org --- (In reply to janus from comment #9) > Paul, can we close this PR, or is there anything left to do? ping!
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=45516
--- Comment #10 from janus at gcc dot gnu.org --- (In reply to janus from comment #9) > Paul, can we close this PR, or is there anything left to do? ping!