On June 3rd we will be rebooting the following servers for routine kernel updates between 21:30 and 22:00 UTC:
- dweb95
- dweb96
- dweb97
- dweb98
- dweb100
- dweb101
- dweb102
- dweb104
- dweb105
- dweb110
- dweb111
- web310
- web312
- web315
- web317
Downtime on each server is expected to be less than 20 minutes. We will update this post as maintenance progresses.
2012-06-03 21:43 UTC: All servers are now back online and working normally.