Bonsoir,
Le projet Debian vient de publier une mise à jour pour le noyau Linux.
Une partie des serveurs sera re-démarrée ce soir, à partir de 23h00 pour appliquer la mise à jour.
L’autre partie, sera redémarrée demain matin, avant 7h00.
Les ressources informatiques seront indisponibles pendant quelques minutes (2 à 3 minutes) durant le re-démarrage des serveurs.
Merci de votre compréhension.
Bonne soirée.
Mise à jour : mercredi 28 juin 2017 – 7h00
L’ensemble des serveurs ont été re-démarrés.
Le CCRI.