From: Nikita Popov <nikita.ppv@gmail.com>
Date: Tue, 20 Nov 2018 20:30:44 +0000 (+0100)
Subject: Merge branch 'PHP-7.2' into PHP-7.3
X-Git-Tag: php-7.3.1RC1~66
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=b6d5d92661e950edd88b4ee4046bba7a2cc33d57;p=php

Merge branch 'PHP-7.2' into PHP-7.3
---

b6d5d92661e950edd88b4ee4046bba7a2cc33d57
diff --cc NEWS
index e5975014dd,d02ae5c15b..330e282814
--- a/NEWS
+++ b/NEWS
@@@ -1,7 -1,11 +1,11 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2018, PHP 7.2.14
 +?? ??? ????, PHP 7.3.0
  
+ - Core:
+   . Fixed bug #71041 (zend_signal_startup() needs ZEND_API).
+     (Valentin V. Bartenev)
+ 
  - Sockets:
    . Fixed bug #77136 (Unsupported IPV6_RECVPKTINFO constants on macOS).
      (Mizunashi Mana)