unread
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
Jan
unread
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