diff options
author | Remi Collet <remi@php.net> | 2020-08-04 09:55:40 +0200 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2020-08-04 09:55:40 +0200 |
commit | 4221e000b1bc528d3138761e802679d654e2b96c (patch) | |
tree | 1ca7a72805b49c2b8e6e423d9961361f2cf8ed0c | |
parent | f3a43e85e7128bc536c56d7517124613d863a088 (diff) | |
parent | 6b8ffdbdeb167b6eae68f9beb934268fac90fa83 (diff) | |
download | php-git-4221e000b1bc528d3138761e802679d654e2b96c.tar.gz |
Merge branch 'PHP-7.2' into PHP-7.3
* PHP-7.2:
bump version to 7.2.34-dev
Update NEWS
0 files changed, 0 insertions, 0 deletions