https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105531
--- Comment #12 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> --- > --- 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? I hadn't. Seems I shouldn't work on a holiday ;-)
