Hi
On 8/30/23 11:05, Derick Rethans wrote:
However, our old bug system still accepts them. I have just created a
PR to change that: https://github.com/php/web-bugs/pull/116/files
Pending reviews and/or comments, I am wanting to merge this in the next
week or so.
There's already https://github.com/php/web-bugs/pull/115. See also:
https://news-web.php.net/php.internals/120672
Best regards
Tim Düsterhus
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: https://www.php.net/unsub.php
