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