]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorRemi Collet <remi@php.net>
Tue, 16 Jul 2019 11:00:30 +0000 (13:00 +0200)
committerRemi Collet <remi@php.net>
Tue, 16 Jul 2019 11:00:30 +0000 (13:00 +0200)
commit344d01bee31ee42d44737625377bc57b4edd2f4b
treeca99d65805c98880a2a923a3b40347ad236e3f65
parenteea9d617636c69d265b698088777469fdd65862d
parentbd0514913b7f803858b062919af22ac16fe5cacc
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  move NEWS entry [ci skip]