On 09/12/2021 21:07, Rowan Tommins wrote:
For some reason, the CI build failed on that PR, but on unrelated files, so I'm not sure if it's my fault or not.
Ah no, it was me. Build passing now. -- Rowan Tommins [IMSoP] -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php