diff options
| author | Anatol Belski <ab@php.net> | 2018-03-27 14:20:53 +0200 |
|---|---|---|
| committer | Joe Watkins <krakjoe@php.net> | 2018-03-28 09:09:03 +0200 |
| commit | f52597c960e2e3f46fb96bf1d11b7b03ed338f84 (patch) | |
| tree | 4113612e68d97d688757c6d0d0d33649b672746c /win32 | |
| parent | 93def6e3a1e82cbbb4431f6aed262d839ac6004a (diff) | |
| download | php-git-php-7.1.16.tar.gz | |
Merge branch 'PHP-7.1' into PHP-7.2php-7.1.16PHP-7.1.16
* PHP-7.1:
Do not set PR_SET_DUMPABLE by default
Do not set PR_SET_DUMPABLE by default
Diffstat (limited to 'win32')
0 files changed, 0 insertions, 0 deletions