[Savannah-hackers-public] Savannah DNS change

[Sylvain Beucler]

Hi,

Can you change all the bzr.*.gnu.org IPs for Savannah from:
199.232.41.69
to:
199.232.41.75
?

There's no need for an appointment, the system has a transition
configuration and can deal with both IPs at the moment.

Thanks,

-- 
Sylvain