MySQL is down on web347 while we run a repair operation. We’ll update this post once we have more information.

2016-01-04 18:14 UTC MySQL is now operational and the server is online.