diff options
author | Remi Collet <remi@php.net> | 2018-12-18 11:08:31 +0000 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2018-12-18 11:08:31 +0000 |
commit | 8feb435bc23c30be0b892d14aafe4e03b6b1be94 (patch) | |
tree | 9150c48fea4cdfb4e92649e910868a8ff5db2ffc | |
parent | 3aee9ca571df9acd67de4a646cb4e557cda16c5c (diff) | |
download | php-git-8feb435bc23c30be0b892d14aafe4e03b6b1be94.tar.gz |
Update NEWS for PHP 7.2.14RC1
-rw-r--r-- | NEWS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ PHP NEWS ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||| -?? ??? 2018, PHP 7.2.14 +20 Dec 2018, PHP 7.2.14RC1 - Core: . Fixed bug #71041 (zend_signal_startup() needs ZEND_API). |