Re: PHP 7.2.15 RC1?
| From: | Christoph M. Becker | Date: | Wed, 30 Jan 2019 00:19:19 +0000 |
| Subject: | Re: PHP 7.2.15 RC1? | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-103881@lists.php.net to get a copy of this message | ||
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