From: Remi Collet Date: Tue, 16 Jul 2019 11:00:44 +0000 (+0200) Subject: Merge branch 'PHP-7.3' into PHP-7.4 X-Git-Tag: php-7.4.0beta1~101 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=b8ed9ac1401a95ca7b46735bd2027c47f55fd630;p=php Merge branch 'PHP-7.3' into PHP-7.4 * PHP-7.3: move NEWS entry [ci skip] --- b8ed9ac1401a95ca7b46735bd2027c47f55fd630