https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125379
--- Comment #5 from Jürgen Reuter <juergen.reuter at desy dot de> --- (In reply to Jürgen Reuter from comment #4) > I suspect this one here, incl. Thomas: > https://gcc.gnu.org/git/?p=gcc.git;a=commit; > h=8b40209e48c8212ad870724b83718ed244bdf6eb Yes, I just confirmed that the daily bump before that commit, 3df799b13ebad69025f618fe6d373306210d6635, was still working.
