> rietz now also hosts syncproxy.wna. What will happen with the mirrors > that sync from it? They either get pushed seperately when its back soon, or do get the push tomorrow morning if it takes longer. -- bye, Joerg <Joey> Joey, provide a patch then.