]> granicus.if.org Git - php/commit
projects / php / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db0cdcb) | patch
Fix bug #79603, by retrying on RTD key collision
authorNikita Popov <nikita.ppv@gmail.com>
Tue, 19 May 2020 08:13:25 +0000 (10:13 +0200)
committerNikita Popov <nikita.ppv@gmail.com>
Wed, 20 May 2020 09:22:50 +0000 (11:22 +0200)
commit4f47ba99f002d50e11c111b8625d81f79b2bf52f
tree52c359d89a0f44d8a1ddff520944c28441d8d87ctree | snapshot
parentdb0cdcbb0a224f958870125a13bd5901fa6e8a0fcommit | diff
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.
NEWS diff | blob | history
Zend/zend_compile.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.