Redémarrage des serveurs

Bonjour,

Le projet Debian a publié une mise à jour de sécurité pour le noyau Linux.

Afin d’appliquer ce correctif de sécurité, les serveurs seront redémarrés ce matin avant 7H00.

Durant le redémarrage, les ressources informatiques seront indisponibles.

Bonne journée.

Le CCRI

Mise à jour : Jeudi 21 Septembre 2017 – 7h06

Tous les serveurs ont été redémarrés.