https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110360
--- Comment #40 from Mikael Morin <mikael at gcc dot gnu.org> --- Harald, I have just closed the followup PR110419. I think this PR can be closed as well, or is there something left to be done?
mikael at gcc dot gnu.org via Gcc-bugs Tue, 15 Aug 2023 02:23:11 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110360
--- Comment #40 from Mikael Morin <mikael at gcc dot gnu.org> --- Harald, I have just closed the followup PR110419. I think this PR can be closed as well, or is there something left to be done?