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.