From: Anatol Belski Date: Wed, 6 Dec 2017 15:04:57 +0000 (+0100) Subject: Merge branch 'PHP-7.2' X-Git-Tag: php-7.3.0alpha1~870 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=0ba315f4835c6bc4b61100838a9bef02da148d94;p=php Merge branch 'PHP-7.2' * PHP-7.2: Fix yet one data race in PCRE --- 0ba315f4835c6bc4b61100838a9bef02da148d94