Some internal servers briefly unavailable and rebooted

Systems should all have been available by approx 10:15, please report any persisting issues you may have using the usual channels.

Small number of internal servers were briefly unavailable due to a local power fault this morning approx 09:45-09:55. Systems have restarted automatically and servers will appear to have been rebooted.