https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107248
--- Comment #10 from Dennis Borde <dennis.borde at ohb dot de> --- Much more important: Thanks for fixing it :-)
dennis.borde at ohb dot de via Gcc-bugs Mon, 17 Oct 2022 04:06:09 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107248
--- Comment #10 from Dennis Borde <dennis.borde at ohb dot de> --- Much more important: Thanks for fixing it :-)