News and mailing lists were down. Up again?

Seems to work, got this thread from internals :)

https://bugs.php.net/bug.php?id=76743

Are we back?

Hopefully. Watching it closely today.

Rasmus Lerdorf in php.internals (Wed, 29 Aug 2018 08:07:21 -0700):

https://bugs.php.net/bug.php?id=76743

The newserver has picked up the feed as well.

Jan