https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105531
--- Comment #9 from Martin Liška <marxin at gcc dot gnu.org> --- I can't see the commit in git history, have you pushed the revision?
marxin at gcc dot gnu.org via Gcc-bugs Mon, 03 Oct 2022 07:10:32 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105531
--- Comment #9 from Martin Liška <marxin at gcc dot gnu.org> --- I can't see the commit in git history, have you pushed the revision?