https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101152
--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> --- It's not essential, but I think that would be helpful
redi at gcc dot gnu.org via Gcc-bugs Tue, 07 Dec 2021 15:34:16 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101152
--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> --- It's not essential, but I think that would be helpful