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]

Reply via email to