Maintenance shutdown scheduled for 12th of June

Maintenance shutdown scheduled for the 12th of June, from 12:30 to 13:00. Sorry for the inconvenience.