[arch-mirrors] Mirror update (mir.archlinux.fr)

Hi, we move our mirror (mir.archlinux.fr) to another server, the name will remain the same, but not the IP. Is there something to do to validate the migration ? Mirror: http://mir.archlinux.fr/$repo/os/$arch Old IP: 213.186.62.207 New IP: 91.121.141.57 Thanks.