PHP 7.1.10 is now available. This is a bugfix release, with several bug fixes included. All PHP 7.1 users are encouraged to upgrade to this version.
PHP 7.1.10 released
PHP 7.1.10 released