]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorAnatol Belski <ab@php.net>
Sun, 4 Nov 2018 15:59:27 +0000 (16:59 +0100)
committerAnatol Belski <ab@php.net>
Sun, 4 Nov 2018 15:59:27 +0000 (16:59 +0100)
commitdb1534b1b4bc2b9dde14e2394ab1179e8445ea9c
tree03f7b8f21e9966bce269bccc27fc3ce44db5cc61
parent579d76d87b7ef3d8d2a084712f95bc9476919c72
parentc621182c42a36975970586cfc294bc5a80ba08cb
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Backport 7f5f4601 for 7.2