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
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php
