https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103585
--- Comment #14 from Martin Jambor <jamborm at gcc dot gnu.org> --- Honza, what remains to be done here (if anything)?
jamborm at gcc dot gnu.org via Gcc-bugs Thu, 19 Jan 2023 05:21:27 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103585
--- Comment #14 from Martin Jambor <jamborm at gcc dot gnu.org> --- Honza, what remains to be done here (if anything)?