]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorRemi Collet <remi@php.net>
Mon, 4 Mar 2019 10:09:17 +0000 (11:09 +0100)
committerRemi Collet <remi@php.net>
Mon, 4 Mar 2019 10:09:17 +0000 (11:09 +0100)
commit06f7c177c8805c417dc8e0912ec7e56b9e894e12
tree7b85399c59a1a4cc50078919ad0e7c1da00213e3
parent6d60ed69a107aa31c5318d47ed773fe3e9708b8c
parent2694953ada29ce4e6869ad4178d7c88581b8752c
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  add NEWS entries