gcc mailing list is not being archived

[Thomas König]

Hi,

one more point: The gcc mailing list including this discussion is currently not 
being archived, the last message is from 2020-03-06.