From: Andrey Hristov <andrey@php.net>
Date: Wed, 19 Jun 2019 13:43:06 +0000 (+0300)
Subject: Merge branch 'PHP-7.2' into PHP-7.3
X-Git-Tag: php-7.4.0alpha2~52^2
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=7ba1e6b34d9b79b2fadd0f6c041ea71d35bd5d23;p=php

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

7ba1e6b34d9b79b2fadd0f6c041ea71d35bd5d23