[simonbcn]

Hola,
Hasta hace poco me bajaba los kernels a mi servidor desde el mirror de kernel.org situado en OVH por razones obvias.
Pero veo que ya no existe, ¿es algo temporal u OVH ha decidido dejar de ser mirror de kernel.org?
Un saludo.