Merge branch 'PHP-7.0' of https://git.php.net/push/php-src into PHP-7.0
authorNuno Lopes <nlopess@php.net>
Wed, 30 Nov 2016 19:41:26 +0000 (14:41 -0500)
committerNuno Lopes <nlopess@php.net>
Wed, 30 Nov 2016 19:41:26 +0000 (14:41 -0500)
commitd5a2af6d1ce81b4124b690fe86e2e2be0545ae12
tree5b84df044c08f1038a752c97a67837442b68bd86
parentd26b8804d030f9c1380628d4dbb1f56d91c91a2b
parent344ef050aa7eac98edc7a18861ab81256687aba4
Merge branch 'PHP-7.0' of https://git.php.net/push/php-src into PHP-7.0