[arch-dev-public] Master Server (gerolde.archlinux.org) reboot scheduled for today.