https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112562
--- Comment #7 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> --- > Should be fixed now I believe. It is indeed: thanks for the quick fix.
ro at CeBiTec dot Uni-Bielefeld.DE via Gcc-bugs Mon, 27 Nov 2023 02:30:19 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112562
--- Comment #7 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> --- > Should be fixed now I believe. It is indeed: thanks for the quick fix.