Package: mirrors Severity: wishlist User: mirr...@packages.debian.org Usertags: mirror-list
Hello, this is ftp.kaist.ac.kr (known as ftp.kr.debian.org) manager. I checked that we are not listed in the public mirror list. (https://www.debian.org/mirror/list) But, we are already listed in the mirror-master list. (https://mirror-master.debian.org/status/mirror-info/ftp.kaist.ac.kr.html) So, can we get listed both 2 domains (or if only 1 tier, then ftp.kr.d.o) on the public mirror list? Regards, Roul
