]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorAnatol Belski <ab@php.net>
Fri, 3 Aug 2018 05:11:23 +0000 (07:11 +0200)
committerAnatol Belski <ab@php.net>
Fri, 3 Aug 2018 05:11:23 +0000 (07:11 +0200)
commit4bb44e0f44a879a7e678ca518e8d03ed4097a13b
tree9067a55ec099df00ff61ea57f6cc4238959edbdf
parentcd07fa48ba74d52bfe700e50dd308d78ac607f55
parent0872e80dd8e3544d3e90c16f63bc513de86405cb
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Improve cleanup