https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111632
--- Comment #5 from Dimitry Andric <dimitry at andric dot com> --- Is there any further action required to get this patch in? :)
dimitry at andric dot com via Gcc-bugs Thu, 26 Oct 2023 09:47:03 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111632
--- Comment #5 from Dimitry Andric <dimitry at andric dot com> --- Is there any further action required to get this patch in? :)