Hi internals! > Voting has opened for the inclusion of a digit separator in PHP[1]. Voting > ends in > one week's time on January 20th.
Voting has now ended with 20 for and 18 against. This means the RFC has been declined. Thank you to all who participated in the RFC discussion and voting! -Tom -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
