[ci skip] Preliminary fix for NEWS

No more regular bug fixes for PHP 7.3.0.

We'll clean up the rest later.

diff --git a/NEWS b/NEWS
index 94255ae16599725bd96ad85f83cf0bd3fe4341bc..122547fab6675efe3ce1baf7ce79754a5b11359b 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,6 @@
 PHP                                                                        NEWS
 |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
-?? ??? ????, PHP 7.3.0
+?? ??? ????, PHP 7.3.1
 
 - Core:
   . Fixed bug #71041 (zend_signal_startup() needs ZEND_API).