https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96735

--- Comment #2 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
Checking out master instead of the branch I was on "fixed" things.

So, I guess may just be random timestamps in git, which do not
get updated correctly with contrib/gcc_update.

Reply via email to