diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-10-22 11:13:02 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-10-22 11:13:02 +0200 |
commit | 1faea28cdd3677e47a0951367571bf51866105fd (patch) | |
tree | bf244f71426664ef83939e14f84cf55ef1564af1 /UPGRADING | |
parent | 0ef27dbe8a7e4b9680f01c2fdb26a0d1cdaf9338 (diff) | |
parent | 6422c956337bed1e22403da4dd79c713ecfe6bc6 (diff) | |
download | php-git-1faea28cdd3677e47a0951367571bf51866105fd.tar.gz |
Merge branch 'PHP-7.4'
* PHP-7.4:
Add a run with opcache to the coverage job
Diffstat (limited to 'UPGRADING')
0 files changed, 0 insertions, 0 deletions