I just noticed that gcc/DATESTAMP wasn't updated yesterday and today, staying at 20240507.
Rainer
--
-----------------------------------------------------------------------------
Rainer Orth, Center for Biotechnology, Bielefeld University
