From: Christoph M. Becker Date: Thu, 9 May 2019 10:15:32 +0000 (+0200) Subject: Merge branch 'PHP-7.2' into PHP-7.3 X-Git-Tag: php-7.3.6RC1~12 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=e46b3c3e70e299078ab3c2cf459cd90d1bac1acd;p=php Merge branch 'PHP-7.2' into PHP-7.3 * PHP-7.2: Fix log_verbosity_bug.phpt --- e46b3c3e70e299078ab3c2cf459cd90d1bac1acd