Domanda delle 22.00 di sera prima di andare a nanna. A titolo di curiosità, qualcuno ha idea di per quanto tempo terranno down kernel.org? Sono riuscito a leggere solo che sarà tenuto giù per "il tempo necessario a ripristinare tutti i servizi". Ormai sono diversi giorni.