Den 2016-01-20 kl. 21:42, skrev Thomas Punt:
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
Thanks for the good work. Many voters but not so
much discussion on the list before voting. Slightly
surprised it didn't pass actually.
Regards //Björn Larsson
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
