ftp-linux.cc.gatech.edu -> ftp.gtlib.gatech.edu

[Robert Edmonds <edmonds@debian.org>]

Hi,

According to http://www.gtlib.gatech.edu/,

    Please do not use the old names ftp-linux.cc.gatech.edu,
    www.gtlib.cc.gatech.edu, ftp.gtlib.cc.gatech.edu or
    rsync.gtlib.cc.gatech.edu as they are now depricated and may cease
    to exist.

    The new names for GTlib services are www.gtlib.gatech.edu,
    ftp.gtlib.gatech.edu and rsync.gtlib.gatech.edu.

ftp-linux is now a CNAME:

    ftp-linux.cc.gatech.edu. 1800   IN      CNAME   ftp.gtlib.gatech.edu.

Could the mirror list be updated?

-- 
Robert Edmonds