Maintenance shutdown July 13th

Maintenance shutdown scheduled for July 13th, from 9:40 to 10:00