Hi, The poll under https://wiki.php.net/todo/php71 is closed. Thanks everyone voted.
The elected 7.1 release managers are Davey Shafik and Joe Watkins. Congrats and godspeed, guys! Regards Anatol -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
