https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53431
--- Comment #54 from Markus F.X.J. Oberhumer <markus at oberhumer dot com> --- Many thanks for finally fixing this!
markus at oberhumer dot com via Gcc-bugs Tue, 08 Nov 2022 16:05:37 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=53431
--- Comment #54 from Markus F.X.J. Oberhumer <markus at oberhumer dot com> --- Many thanks for finally fixing this!