Dear Sir, Would it be possible to assign an IPv6 address to <download.savannah.gnu.org>? Using `dig' I do not see any `AAAA' record for your site. Alternatively, do you know of a mirror site with an IPv6 address?
My internal network is IPv6 only. Currently, to download releases from savannah, I must go through extra steps: 1) `ssh' to an external host, 2) `wget' or `rsync' a release from savannah to the external host, then 3) `scp' the file from the external host to my internal host. Sincerely Yours, Kent