https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104375
--- Comment #4 from Gabriel Ravier <gabravier at gmail dot com> --- So should the bug be marked as fixed or... ?
gabravier at gmail dot com via Gcc-bugs Sat, 18 Feb 2023 05:59:00 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104375
--- Comment #4 from Gabriel Ravier <gabravier at gmail dot com> --- So should the bug be marked as fixed or... ?