Tonight there will be a brief service interruption as servers are rebooted with the latest minor release of Debian.

The reboots are required since the release contains a kernel update.

These outages will occur between 01:00 and 01:30 PST 03 Jul.