diff options
| author | Joe Watkins <krakjoe@php.net> | 2019-03-27 09:58:40 +0100 |
|---|---|---|
| committer | Joe Watkins <krakjoe@php.net> | 2019-03-27 10:02:42 +0100 |
| commit | 7af270eb284c3bd00f6e5d80fbb0a2de9f89b693 (patch) | |
| tree | 722eeb524a33f555a4571aa0c65fa020ac9f3056 /php.ini-development | |
| parent | 6d3a2b46930057524c1eebfa574a4869e3f9dd28 (diff) | |
| download | php-git-7af270eb284c3bd00f6e5d80fbb0a2de9f89b693.tar.gz | |
Fix #77805 phpdbg build fails when readline is shared
Diffstat (limited to 'php.ini-development')
0 files changed, 0 insertions, 0 deletions