Planned outage 2019-10-20

Tonight we will restart all servers due to install updated versions of system software. The downtime of each server should not exceed 10 minutes.