Dweb172 will be rebooted Wednesday, April 10th, 2013 between 09:00 UTC and 10:00 UTC to apply an important kernel update. We will update this post as maintenance progresses.

2013-04-10 09:10 UTC Ther server has been rebooted and it’s back to operational status.