summaryrefslogtreecommitdiffstats
path: root/php-8.0.0-embed.patch
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2021-06-22 18:59:40 +0200
committerRemi Collet <remi@remirepo.net>2021-06-22 18:59:40 +0200
commit8d29ddbebd292159ca568e27500408ce97e85e2b (patch)
tree22acda565edf74ce7d680cdae0a3ff8826b01e92 /php-8.0.0-embed.patch
parentf3dd3a29f7bc72be7e928bdeb83eeee3199f0dde (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 'php-8.0.0-embed.patch')
0 files changed, 0 insertions, 0 deletions