diff options
| author | Dmitry Stogov <dmitry@zend.com> | 2018-12-24 13:45:40 +0300 |
|---|---|---|
| committer | Dmitry Stogov <dmitry@zend.com> | 2018-12-24 13:45:40 +0300 |
| commit | 1ce7cbe590b37ee5144867f28fe573de16631f54 (patch) | |
| tree | dea66e1a7dcf217ab8f127555cd292d0311bcbee | |
| parent | ddfb44f2cfabb93a41577419b219a5d1984938d6 (diff) | |
| parent | 5888fbde0d9687eda92f2bc8deb1e8c4ac171346 (diff) | |
| download | php-git-1ce7cbe590b37ee5144867f28fe573de16631f54.tar.gz | |
Merge branch 'PHP-7.2' into PHP-7.3
* PHP-7.2:
Backport later interned strings destruction.
0 files changed, 0 insertions, 0 deletions