Service announcements

2015-04-24 15:11: Problem resolved: database server mysql03
The problems with mysql03 are now solved. The downtime lasted from 15:00 to 15:08.

There may be some connectivity problems and performance lag for short period, we expect these to smooth out shortly.