]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2'
authorAnatol Belski <ab@php.net>
Tue, 29 Aug 2017 23:12:02 +0000 (01:12 +0200)
committerAnatol Belski <ab@php.net>
Tue, 29 Aug 2017 23:12:02 +0000 (01:12 +0200)
commit0cdeb60757aea13f7d50b0c18e0c9c9234564c0f
treeaea2c408b2ca387259f7501da734801273967150
parentd3bc8beb4ff9e00c3742ada32788239c3f7988e0
parent752fc86f2b658988b5bd8ac4605de7371a5fbd0a
Merge branch 'PHP-7.2'

* PHP-7.2:
  Fix symbol name