]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorRemi Collet <remi@php.net>
Tue, 18 Feb 2020 10:00:49 +0000 (11:00 +0100)
committerRemi Collet <remi@php.net>
Tue, 18 Feb 2020 10:00:49 +0000 (11:00 +0100)
commit2aecf3aba90941a2ac2642180f340e3b7118a13a
tree01422c7c3a6418e3abb0dd835c5d95fd42b8e9db
parent08073b06581c6dc9234cfb2e9b187a598154c8ab
parent63f6608f89fda8ad35bc8c5472d1028e6fa6e0c6
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  bump version to 7.2.29