diff options
| author | Remi Collet <remi@remirepo.net> | 2021-06-22 18:59:40 +0200 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2021-06-22 18:59:40 +0200 |
| commit | 8d29ddbebd292159ca568e27500408ce97e85e2b (patch) | |
| tree | 22acda565edf74ce7d680cdae0a3ff8826b01e92 /.gitignore | |
| parent | f3dd3a29f7bc72be7e928bdeb83eeee3199f0dde (diff) | |
test build for upcoming 8.1.0alpha2
fix build for missing public API using patch from
https://github.com/php/php-src/pull/7185
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions