On 20 November 2023 21:37:55 GMT, Rowan Tommins <rowan.coll...@gmail.com> wrote: >On 15/11/2023 16:59, Derick Rethans wrote: >> In the last few days, I have upgrade all our Digital Ocean droplets from >> Debian 10 (or 9!) to 12. That also means they now run PHP 8.2. > > >Hi Derick, > >Thanks for getting things current! System maintenance is such an essential but >often underappreciated task. > >I notice news.php.net (and therefore externals.io, which feeds from it) hasn't >copied any message from the list since the day after you posted this (last >timestamp is 16 Nov 2023 22:14:19 -0000). Could that be related somehow? > >Or if it's just coincidence, maybe you or someone else here knows which >service might need prodding to bring it back to life? > >Regards, >
Yes, this could be related. Somebody on the foundation slack raised it too, so I'll have a look ASAP. cheers Derick -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php