These three servers will be taken down on Friday October 1st  to fix a problem with the RAID controller. The downtime should be less than 1h. Web111 will be taken down at 11:00 UTC and Web115 at 11:30 UTC.

[Update] 11:10 UTC: We are bringing Web111 down.

[Update] 11:45 UTC: Web111 is fully operational again.

[Update] 11:55 UTC: We are bringing Web115 down.

[Update] 14:05 UTC: Web115 is fully operational again.