On Wed, 30 Aug 2023, Tim Düsterhus wrote:
> 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
I wasn't aware, so I will merge that one!
cheers,
Derick
--
https://derickrethans.nl | https://xdebug.org | https://dram.io
Author of Xdebug. Like it? Consider supporting me: https://xdebug.org/support
Host of PHP Internals News: https://phpinternals.news
mastodon: @derickr@phpc.social @xdebug@phpc.social
twitter: @derickr and @xdebug