diff options
author | Remi Collet <fedora@famillecollet.com> | 2015-06-11 18:38:03 +0200 |
---|---|---|
committer | Remi Collet <fedora@famillecollet.com> | 2015-06-11 18:38:03 +0200 |
commit | 82b8bf2b87540f916db88f88a8560fc9be07eb26 (patch) | |
tree | 58186df8be1c62fa81a67b1cca6030f841079e44 /php-5.5.19-embed.patch | |
parent | fddeb1acabe740abfaee37d9640a07bc499f56a8 (diff) |
php: avoid issue when 2 builds run simultaneously
Diffstat (limited to 'php-5.5.19-embed.patch')
0 files changed, 0 insertions, 0 deletions