]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorRemi Collet <remi@php.net>
Tue, 18 Dec 2018 15:29:53 +0000 (16:29 +0100)
committerRemi Collet <remi@php.net>
Tue, 18 Dec 2018 15:29:53 +0000 (16:29 +0100)
commit4efa618b9e367f3d49d80238b02d2f344472e9e8
treeb856ae0cc805d857979d792c0f1c14aba5c93f35
parentc04ef4002651bcf974578567f30f585896293297
parent3245d1bb091a4a343c151fd22af68e41244c7d4a
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  missing entry for #77020