]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2'
authorAnatol Belski <ab@php.net>
Sat, 19 May 2018 13:46:52 +0000 (15:46 +0200)
committerAnatol Belski <ab@php.net>
Sat, 19 May 2018 13:46:52 +0000 (15:46 +0200)
commitd2d78cb3e89d3d5d3128f552aae53759cce26ca4
treebd912dbb4a1c4d470912c408f64b4e26a441c22d
parent4a17c9c25c9ceb2b5ade26622967deb4092d6336
parenta8a1dc038cdab5c333fe443577b375f86d2c5a3e
Merge branch 'PHP-7.2'

* PHP-7.2:
  Fix versions, as 7.2.6RC is already out