Kernel.org down?

[Friesi]

Komme irgendwie nicht mehr auf Kernel.org.
Liegt das nur an mir, oder kommen andere auch nicht drauf?

[smoon]

Scheint echt down zu sein. Komm auch nicht drauf.

[startx]

wieder da.