Re: [IT4I Support #58281] New mirror addition

[Carsten Otto]

Hi Petra,

I don't think your support team should subscribe to public mailing
lists.

Best regards
Carsten
-- 
Dr. Carsten Otto
http://verify.rwth-aachen.de/otto/