On 21/11/2023 12:14, Derick Rethans wrote:
I have fixed this now.It turned out to be a bug in *bugs.php.net*, which I had fixed yesterday...
Wow, that was an unexpected chain of dependencies! Thanks for tracking it down. :)
Regards, -- Rowan Tommins [IMSoP]