On February 14th we will be rebooting the following servers for routine kernel updates at various times throughout the day:
- web38
- web44
- web46
- web56
- web101
- web103
- web122
- web127
- web130
- web134
- web142
- web154
- web164
- web165
- web175
- web182
- web196
- web226
Downtime on each server is expected to be less than 20 minutes. We will update this post as maintenance progresses.
2012-02-14 08:30 UTC: All servers have been rebooted and are back online.