]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorRemi Collet <remi@php.net>
Tue, 4 Aug 2020 07:55:40 +0000 (09:55 +0200)
committerRemi Collet <remi@php.net>
Tue, 4 Aug 2020 07:55:40 +0000 (09:55 +0200)
commit4221e000b1bc528d3138761e802679d654e2b96c
tree1ca7a72805b49c2b8e6e423d9961361f2cf8ed0c
parentf3a43e85e7128bc536c56d7517124613d863a088
parent6b8ffdbdeb167b6eae68f9beb934268fac90fa83
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  bump version to 7.2.34-dev
  Update NEWS