Hallo lijst, Vanavond vervangen we een deel van de TU/e-webservers. Hierdoor is onze TER-mirror tijdelijk niet beschikbaar. We verwachten het euvel binnen 24 uur te verhelpen. Zodra de TER-mirror weer operationeel en gesynchroniseerd is, laat ik dit via deze lijst even weten. Groeten, Bas