Changing IP address ftp.kr.debian.org

[Jimin Park <pjm950@gmail.com>]

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.