Our monitoring system has revealed that one of our servers has experienced a couple of ‘micro’ outages (< 15 minutes) in the past week. We have narrowed the problem down to a hardware issue, and will be moving affected services to another server this evening. This will cause approximately 15 minutes of downtime between 11:30PM and 11:45PM WST.