Re: [Savannah-hackers-public] UPDATE: New hardware for *.savannah.gnu.org and lists.gnu.org

[Karl Berry]

    vpn.savannah.gnu.org has not been migrated yet (but it is running on
    the old machine). Is it needed?

It is not needed.  Thanks.  -k