Sara Golemon in php.internals (Thu, 4 Jan 2018 12:06:59 -0500):
>I'm happy to announce not one, but two new PHP releases today.
>PHP 7.1.13 and 7.2.1 are ready to go at http://php.net/downloads.php
Is it on purpose that the release-zip on github contains PHP 7.2.1-dev?
See the main/php_version.h in the zip at