]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.1' into PHP-7.2
authorStanislav Malyshev <stas@php.net>
Mon, 7 Jan 2019 09:03:26 +0000 (01:03 -0800)
committerStanislav Malyshev <stas@php.net>
Mon, 7 Jan 2019 09:03:26 +0000 (01:03 -0800)
* PHP-7.1:
  Still leaking for some reason, XFAIL for now, I'll look into it later.


Trivial merge