[Savannah-hackers-public] nongnu mirror list source?

[Karl Berry]

Sylvain or anyone,

1) Editing /vservers/sftp/srv/download/00_MIRRORS.html does not affect
   http://download.savannah.gnu.org/releases-noredirect/00_MIRRORS.html,
   at least not right away (as it used to do).  I just added an entry
   for mirrors.igsobe.com to the file that does not show up via the url.

2) Sylvain, you said you removed dknss.com, but it is still visible at
   the url (and in the 00_MIRRORS.html file, and also in the
   /vservers/sftp/srv/download/00_MIRRORS.txt file.)

Thanks,
Karl