Re: [Savannah-hackers-public] [admin@bigsearcher.com: nongnu mirror]

[Karl Berry]

Hi Sylvain,

    It looks like his mirror is not updating.

What are you seeing that's out of date:

At http://dl.sv.gnu.org/releases/, I'm seeing a 00_TIME.txt file which
is dated today (May 30).

    Should I contact him?

If necessary, yes, please do.

Thanks,
Karl