]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorRemi Collet <remi@php.net>
Tue, 18 Jun 2019 05:51:05 +0000 (07:51 +0200)
committerRemi Collet <remi@php.net>
Tue, 18 Jun 2019 05:51:05 +0000 (07:51 +0200)
commitefa1388cd39a0358ace138601eaae88630cc783e
tree702e5942cc989f0d08d5edef8409b9df60f06c96
parent11b354dd54d7fe346b24a039abdb075f68996328
parente59b986fa7cb4da0a59df09aa4179095b9811529
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  move NEWS entry