Re: gcc/DATESTAMP not updated since 20231109

[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