On 29.01.2019 at 15:12, Jan Ehrhardt wrote: > Is it on purpose that 7.2.15 RC1 was not released last week? There are > enough changes after 7.2.14: > https://github.com/php/php-src/blob/d978590c745c23940e29d05d612f673ea45f1d91/NEWS
PHP 7.2.15RC1 has now been tagged[1]; PHP 7.2.15 is still planned for February, 7th. Sorry for the delay. [1] <https://github.com/php/php-src/releases/tag/php-7.2.15RC1> -- Christoph M. Becker -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
