On Sat, 11 Feb 2023, Jonathan Yong via Gcc-patches wrote: >> could you please close the corresponding BR too?: >> https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108350 > I can't close it, but I put a note that it has been committed.
I closed the report. Gerald