The mirror will be offline during Monday 8 of August, the (old P4) mirror server is being replaced by a new one. The new server is already synced with the old one, so no big peak of download on eu-mysnc to be expected

Cheers,

Gaël STEPHAN