]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorRemi Collet <remi@php.net>
Wed, 30 Sep 2020 05:42:14 +0000 (07:42 +0200)
committerRemi Collet <remi@php.net>
Wed, 30 Sep 2020 05:42:14 +0000 (07:42 +0200)
commit5733f11ee9464eeb53eb2bf061c8cb3fd5e7b2ec
tree0e877673489d4e603738849245fc069b0e11aaf6
parent161636385057fdf7bc23539fc1714fc9c1526fa1
parent662083fc4f3a570f5b9180e80c2ddec86a8fded8
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  bump version to 7.2.35-dev