On 19.07.2022 at 17:10, Sergey Panteleev wrote: > I guess we can close the vote? > > Consider the wiki, it should be closed on July 18. > > If we do that now, the RFC will be declined by 7 votes for and 21 against.
I've just closed the vote. The RFC has been declined. -- Christoph M. Becker -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: https://www.php.net/unsub.php