Maintenance shutdown scheduled for the 26th of July

Maintenance shutdown scheduled for the 26th of July, from 13:15 to 13:30. Sorry for the inconvenience.