diff options
| author | Christoph M. Becker <cmbecker69@gmx.de> | 2018-11-23 18:37:12 +0100 |
|---|---|---|
| committer | Christoph M. Becker <cmbecker69@gmx.de> | 2018-11-23 18:37:12 +0100 |
| commit | 2979c6a56ddcf45113dd30ca3ed90880dfabc972 (patch) | |
| tree | fcfcbce114fbfe18c84be8e34f793a75631a3876 | |
| parent | b0a86566dc0346bde6f589541a3dd77d45565e83 (diff) | |
| download | php-git-2979c6a56ddcf45113dd30ca3ed90880dfabc972.tar.gz | |
[ci skip] Preliminary fix for NEWS
No more regular bug fixes for PHP 7.3.0.
We'll clean up the rest later.
| -rw-r--r-- | NEWS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ PHP NEWS ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||| -?? ??? ????, PHP 7.3.0 +?? ??? ????, PHP 7.3.1 - Core: . Fixed bug #71041 (zend_signal_startup() needs ZEND_API). |