Hey folks, as mentioned in the last release email, the PHP-7.1 branch has now been created.
I will be creating the PHP 7.1.0beta1 release off it in the next few minutes. However, this effectively means that master is open for PHP 7.2 (or 8.0 :P) and any further commits specifically for 7.1 must land in the PHP-7.1 branch. Thanks, - Davey