On the main PHP.net site they've posted an announcement about the latest release in the PHP 7.1.x series: PHP 7.1.12:
The PHP development team announces the immediate availability of PHP 7.1.12. This is a bugfix release, with several bug fixes included. All PHP 7.1 users are encouraged to upgrade to this version.
Bugs in this released include issues in PHP's CLI handling, GD image manipulation, internationalization and reflection with Mysqli. You can find the full listing of issues fixed in the full Changelog. As always you can download this latest release from the main downloads page for the source packages and windows.php.net for the Windows binaries.