diff options
| author | Remi Collet <remi@remirepo.net> | 2022-02-08 14:09:14 +0100 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2022-02-08 14:09:14 +0100 |
| commit | 78517151ed28c1335fcbdd0b987d2e5dadb990e1 (patch) | |
| tree | 69fb251dc979a0cffa8b3c15bf68211bdb710742 /php-7.2.0-includedir.patch | |
| parent | 43fe4ab4ede46fb4abc8d12c15d5203d6e65e320 (diff) | |
fix GH-8059 arginfo not regenerated for extension
Diffstat (limited to 'php-7.2.0-includedir.patch')
0 files changed, 0 insertions, 0 deletions