]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.4'
authorRemi Collet <remi@php.net>
Thu, 16 Jul 2020 10:05:58 +0000 (12:05 +0200)
committerRemi Collet <remi@php.net>
Thu, 16 Jul 2020 10:05:58 +0000 (12:05 +0200)
commit50fb12c39b40cbc9b05844297b6b74bae27af6a2
tree29a897e7a0e2055b7943cad97019cf9db4cec0d1
parentb31c787401aaa2af361f059d3c9cac1b9e5af729
parent6ffe08d1316b5357e0f91e2d618223c40c45b324
Merge branch 'PHP-7.4'

* PHP-7.4:
  #79657 was cherry-picked in 7.4.7