On Tue, Nov 14, 2023 at 09:30:21AM +0100, Rainer Orth wrote: > For the last couple of days (since 2023-11-09), gcc/DATESTAMP hasn't > been updated. I'll have a look. Probably some bad commit again. Jakub