Hi, Can you make the following changes in the DNS? Thanks :)
git.savannah.gnu.org. A 199.232.41.69 git.sv.gnu.org. CNAME git.savannah.gnu.org. git.savannah.nongnu.org. A 199.232.41.69 git.sv.nongnu.org. CNAME git.savannah.nongnu.org. svn.savannah.gnu.org. A 199.232.41.69 svn.sv.gnu.org. CNAME svn.savannah.gnu.org. svn.savannah.nongnu.org. A 199.232.41.69 svn.sv.nongnu.org. CNAME svn.savannah.nongnu.org. (replace existing entries) exp.savannah.gnu.org. A 199.232.41.71 exp.sv.gnu.org. CNAME exp.savannah.gnu.org. exp.savannah.nongnu.org. A 199.232.41.71 exp.sv.nongnu.org. CNAME exp.savannah.nongnu.org. It doesn't matter if the IP will soon change :) -- Sylvain
