Re: PHP 7.1.13 and 7.2.1 Available

  101539
January 5, 2018 08:19 phpdev@ehrhardt.nl (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 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 https://github.com/php/php-src/releases -- Jan