Re: gcc/DATESTAMP not updated since 20231109

2023-11-14 Thread Jakub Jelinek via Gcc
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

gcc/DATESTAMP not updated since 20231109

2023-11-14 Thread Rainer Orth
For the last couple of days (since 2023-11-09), gcc/DATESTAMP hasn't been updated. Rainer -- - Rainer Orth, Center for Biotechnology, Bielefeld University