Hallo Hadiko,

am Donnerstag den 2. Februar wird um 21:00 Uhr der Shell Server „home“ neu
gestartet. Dabei wird ein aktueller Kernel gebootet und der VM mehr RAM zur
Verfügung gestellt.

Bitte speichert eure Daten vor dem Neustart, speziell Irssi configs und
layouts.

Gruß, Andreas Gonschorek