diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2020-05-19 10:13:25 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2020-05-20 11:22:50 +0200 |
commit | 4f47ba99f002d50e11c111b8625d81f79b2bf52f (patch) | |
tree | 52c359d89a0f44d8a1ddff520944c28441d8d87c /ext/json/php_json.h | |
parent | db0cdcbb0a224f958870125a13bd5901fa6e8a0f (diff) | |
download | php-git-4f47ba99f002d50e11c111b8625d81f79b2bf52f.tar.gz |
Fix bug #79603, by retrying on RTD key collision
This is a non-intrusive fix for 7.4, still trying to find a good
solution for master.
Closes GH-5597.
Diffstat (limited to 'ext/json/php_json.h')
0 files changed, 0 insertions, 0 deletions