diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2020-05-20 11:24:37 +0200 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-05-20 11:24:37 +0200 |
| commit | c2068e95b4be9a503070b5466b714f4836787ca3 (patch) | |
| tree | ea5155389126a99446c46f59d9caedbd0b18d838 /run-tests.php | |
| parent | 0a74da385dd1cf25cf7870fdc82cbe1c7256fab3 (diff) | |
| parent | 4f47ba99f002d50e11c111b8625d81f79b2bf52f (diff) | |
| download | php-git-c2068e95b4be9a503070b5466b714f4836787ca3.tar.gz | |
Merge branch 'PHP-7.4'
* PHP-7.4:
Fix bug #79603, by retrying on RTD key collision
Diffstat (limited to 'run-tests.php')
0 files changed, 0 insertions, 0 deletions