Jern reboot monday 13/2 at 11.30

 Because of an important firmware update Jern will be rebooted monday 13/02 at 11.30. It should be up well before 12. Some disks will be unavailable during this time, and all programs running on Jern will be aborted.