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.