diff options
| author | Jarrod Makin <jmakin@godaddy.com> | 2019-01-07 14:10:22 +0000 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2019-01-07 15:46:30 +0100 |
| commit | b0f1fa504c35bd1c7a94cdd2c15c62a6667e91a7 (patch) | |
| tree | cf7545d31bba7d2d7dd4ec41c90545cf06a2126b /php-bug77287.patch | |
| parent | 91186080032f03d6803f95a59b6ba0f58b96ada8 (diff) | |
Enable build to complete if 'with_zts' is set to 0
Diffstat (limited to 'php-bug77287.patch')
0 files changed, 0 insertions, 0 deletions