Bonjour,
Le projet Debian vient de publier une mise à jour corrective pour sa distribution Linux : Debian Stretch.
Les serveurs vont se mettre à jour dans la nuit du lundi 6 août au mardi 7 août.
Ils seront redémarrés pour appliquer les changements, mardi 7 août à partir de 8h00.
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 7 août 2018 – 8h23
Tous les serveurs ont été mis à jour.