Volker Reichelt wrote: > Btw, I get no response for > ping gcc.gnu.org > Is this intended? Or does this also need fixing? It is intentional. Jifl -- --["No sense being pessimistic, it wouldn't work anyway"]-- Opinions==mine