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

  • web1
  • web3
  • web5
  • web6
  • web7
  • web8
  • web9
  • web10
  • web11
  • web12
  • web13
  • web14
  • web15
  • web16
  • web17
  • web18
  • web19
  • web20

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

2012-02-04 09:15 UTC All servers have been rebooted and are back online.