File server maintenance on Wed Aug 4, 22:00
A firmware update on the RAID controller of our file server requires a reboot of this server. We schedule the reboot on Wednesday August 4, at 22:00. The downtime should take no more than 30 min. Please make sure all your data has been saved at that point.
We apologize for any inconvenience.
Update, 22:20: The server has rebooted and everything should work again.