PHP-7.2.0 release branch has been cut at b6336b0d in preparation of GA in three weeks. If you have bugfixes, please apply them to the PHP-7.2 branch as normal. *If* you believe a bugfix is high priority and should be included in the 7.2.0 release, contact Remi and I and request a cherry-pick to the PHP-7.2.0 branch. As with other release branches, please await instruction from the relevant RMs rather than doing the cherry-pick yourself.
Thank you, -Sara -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
