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!

Reply via email to