]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorRemi Collet <remi@php.net>
Tue, 18 Dec 2018 12:12:05 +0000 (13:12 +0100)
committerRemi Collet <remi@php.net>
Tue, 18 Dec 2018 12:12:05 +0000 (13:12 +0100)
commitc04ef4002651bcf974578567f30f585896293297
treeb856ae0cc805d857979d792c0f1c14aba5c93f35
parent8734d6a73d650144d4872d3245d0dc559710588d
parent7161fe629d7449095e047b1d42c1de41e0c24a36
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  bump to 7.2.15-dev