Re: PHP 7.1.13 and 7.2.1 Available

January 5, 2018 08:19 (Jan Ehrhardt)
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
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 -- Jan