diff options
author | Dmitry Stogov <dmitry@zend.com> | 2019-05-21 00:08:03 +0300 |
---|---|---|
committer | Dmitry Stogov <dmitry@zend.com> | 2019-05-21 00:08:03 +0300 |
commit | 354a76bb800bad8efe1215945ee9fd776970a15d (patch) | |
tree | 8e14d8727764228770b7cc41dae2a3da3922b62c /sapi/cli/php_cli.c | |
parent | db8ef71353cd5770860e37afd94001926ba575a0 (diff) | |
parent | a8a019d68a605dd2b699174dd7f55d6e8bbaeee6 (diff) | |
download | php-git-354a76bb800bad8efe1215945ee9fd776970a15d.tar.gz |
Merge branch 'PHP-7.2' into PHP-7.3
* PHP-7.2:
Prevent race condition in opcache_reset()
Diffstat (limited to 'sapi/cli/php_cli.c')
0 files changed, 0 insertions, 0 deletions