Monday 13th November 2017 Possible downtime

We Identified an issue on this server today at 15:39:16 (GMT), we had to restart a service, this may have resulted in some brief downtime for customers. The incident took 8 mins to fully resolve and we are monitoring it closely. Just let us know if you need any help with this.