diff options
| author | Remi Collet <remi@remirepo.net> | 2020-02-04 09:37:24 +0100 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2020-02-04 09:37:24 +0100 |
| commit | 09e48a05b98b94fd52dc2562089f67e8d1279298 (patch) | |
| tree | a1ef9b67ca87f0f3d563a41961d82cb248092309 /.gitignore | |
| parent | 483932783561752f0add0693b8b221a2fd09246e (diff) | |
raise dependency on PHP 7.2
fix undefined symbol using patch from
https://github.com/php-decimal/ext-decimal/pull/34
disable ZTS build which segfaults, reported as
https://github.com/php-decimal/ext-decimal/issues/35
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions