From: Christoph M. Becker Date: Fri, 12 Apr 2019 11:08:13 +0000 (+0200) Subject: Merge branch 'PHP-7.2' into PHP-7.3 X-Git-Tag: php-7.3.5RC1~10 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=8ed3b74a0cc0a683a7db986e9a5657d34d41d94b;p=php Merge branch 'PHP-7.2' into PHP-7.3 * PHP-7.2: Fix tests wrt. internationalization --- 8ed3b74a0cc0a683a7db986e9a5657d34d41d94b