Kernel.org ???

Hallo, habt Ihr was gehört darüber, was mit www.kernel.org los ist? Die Namensauflösung per DNS funktioniert seit mindestens gestern nicht mehr. In den gängigen Nachrichten war aber keine Rede davon, den Server vom Netz zu nehmen. Tschö, Emil -- Registered Linux User since 19940320 -------------------------------------------------- Emil Stephan, Marktplatz 39, 53773 Hennef, Germany voice: +49-2242-84438 Accelerate Windows: 9.81 m/sec^2 would be adequate -- Um die Liste abzubestellen, schicken Sie eine Mail an: opensuse-de+unsubscribe@opensuse.org Um eine Liste aller verfuegbaren Kommandos zu bekommen, schicken Sie eine Mail an: opensuse-de+help@opensuse.org