On February 2nd we will be rebooting the following servers for routine kernel updates at various times throughout the day:

  • web50
  • web54
  • web74
  • web87
  • web112
  • web116
  • web125
  • web126
  • web140
  • web155
  • web173
  • web176
  • web177
  • web181
  • web184
  • web186
  • web189
  • web190
  • web191
  • web195

Downtime on each server is expected to be less than 20 minutes. We will update this post as maintenance progresses.

2012-02-02 10:35 UTC All servers have been rebooted and are back online.