diff options
| author | Remi Collet <remi@remirepo.net> | 2018-06-29 09:44:32 +0200 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2018-06-29 09:44:32 +0200 |
| commit | 72ecd8910ffe30b3701891ec8e54265585f03bbb (patch) | |
| tree | 83270531ca7e326da51945bb9139cc3dd7625200 /0001-use-zend_ce_exception-instead-of-zend_exception_get_.patch | |
| parent | 3c0b5e1214af1c56880630dfb31e19830bae0807 (diff) | |
add upstream patch for PHP 7.3
Diffstat (limited to '0001-use-zend_ce_exception-instead-of-zend_exception_get_.patch')
0 files changed, 0 insertions, 0 deletions