one of the FreeRADIUS FTP servers is dead

Hi, it appears that one of the servers answering as ftp.freeradius.org is poorly. failing FTP connect and not pingable Name: ftp.freeradius.org Address: 64.34.165.250 Name: ftp.freeradius.org Address: 88.191.76.128 [src]# ping 64.34.165.250 PING 64.34.165.250 (64.34.165.250) 56(84) bytes of data. --- 64.34.165.250 ping statistics --- 2 packets transmitted, 0 received, 100% packet loss, time 1000ms [src]# ping 88.191.76.128 PING 88.191.76.128 (88.191.76.128) 56(84) bytes of data. 64 bytes from 88.191.76.128: icmp_seq=1 ttl=52 time=15.0 ms alan