From 2979c6a56ddcf45113dd30ca3ed90880dfabc972 Mon Sep 17 00:00:00 2001 From: "Christoph M. Becker" Date: Fri, 23 Nov 2018 18:37:12 +0100 Subject: [PATCH] [ci skip] Preliminary fix for NEWS No more regular bug fixes for PHP 7.3.0. We'll clean up the rest later. --- NEWS | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/NEWS b/NEWS index 94255ae165..122547fab6 100644 --- 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). -- 2.40.0