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.

Reply via email to