Hi,

During mini-debconf Winterthur, Axel nicely configured correctly the push to
our mirror to use 2 stages, and now mirror.infomaniak.com is really 2 servers
always in sync.

Please remove mirror1.infomaniak.com and mirror2.infomaniak.com, and replace it
with mirror.infomaniak.com that points to both.

Cheers,

Thomas Goirand (zigo)

Control: tags -1 + moreinfo

In order for our automated tools to check the mirror regularly and
include it in the published mirror list,
http://mirror.infomaniak.com/debian/project/trace/ needs to include a
tracefile for the name mirror.infomaniak.com

Regards,

Adam