https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119268
--- Comment #4 from Antoni <antoyo at gcc dot gnu.org> --- Oh sorry. I thought this was merged. I guess we can close this issue then.
antoyo at gcc dot gnu.org via Gcc-bugs Thu, 13 Mar 2025 07:19:00 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119268
--- Comment #4 from Antoni <antoyo at gcc dot gnu.org> --- Oh sorry. I thought this was merged. I guess we can close this issue then.