Mise à jour des serveurs

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.