Re: [Savannah-users] lists.nongnu.org is down?

[Karl Berry]

Hi Olaf,

    It looks as though the mailman interface of
      http://lists.nongnu.org

DNS delay maybe?  It is ok for me now.

lists.gnu.org and lists.nongnu.org moved to new (faster) hardware at a
new (better connected) location yesterday.  There is a new IP address as
a result, namely 140.186.70.17.

Best,
Karl