gcc/DATESTAMP not updated since 20231109

[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