Bonjour,
Le projet Debian a publié hier soir une mise à jour corrective pour le noyau Linux de sa distribution : Debian Stretch.
Les serveurs se sont mis à jour dans la nuit du mardi 14 août au mercredi 15 août.
Ils vont être redémarrés pour appliquer les changements, mercredi 15 août à partir de 10h20.
Durant l’opération, les ressources informatiques seront indisponibles pendant 2 à 3 minutes.
Merci de votre compréhension.
Bonne fin de journée.
Le CCRI.
Mise à jour : mardi 15 août 2018 – 10h38
Tous les serveurs ont été mis à jour.