[Savannah-hackers-public] Savannah DNS additions

[Sylvain Beucler]

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