]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2'
authorAnatol Belski <ab@php.net>
Wed, 18 Oct 2017 14:30:46 +0000 (16:30 +0200)
committerAnatol Belski <ab@php.net>
Wed, 18 Oct 2017 14:30:46 +0000 (16:30 +0200)
commit9420bdae84647b370cb38364af39ca1cdffbad29
tree2a00cc94ba19d9c9339e4753f5ecb445cd3ef1fc
parentb4903aef16ec215f2095ff0a3615524656401660
parent5315cea6e276f96b8f44341df8527661dd6699ee
Merge branch 'PHP-7.2'

* PHP-7.2:
  Backport 7ff13badda58b966ff8fbcc61add48bb5b14117b into 7.0+