Changing IP address ftp.kr.debian.org

Hello. I am one of current system managers of ftp.kaist.ac.kr.

To improve the bandwidth of the server, ftp.kaist.ac.kr is currently
changing network from KAIST's to KOREN's,
and planned to change the IP address of the server from 143.248.234.110
(KAIST) to 103.22.220.133 (KOREN).

Therefore, the IP address bound to the DNS name ftp.kr.debian.org needs to
be changed from 143.248.234.110 to 103.22.220.133.
Currently ftp.kaist.ac.kr is bound to both IP addresses, so the change can
be applied in any time.

Thank you in advance.