Scheduled maintenance for Agda PS

THIS IS A SCHEDULED EVENT May 26, 18:00 CEST - May 27, 02:00 CEST

May 25, 14:58 CEST Scheduled - On May 26 starting at 18:00 CEST, we will update Agda PS. All parts of Agda PS may be offline during the update that may last up to 8 hours. We will inform here when the update is completed.