diff options
| author | Remi Collet <remi@remirepo.net> | 2019-10-01 15:02:49 +0200 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2019-10-01 15:02:49 +0200 |
| commit | 7519a8bac81af0105a46eaa3dddb97b16bed0872 (patch) | |
| tree | c8543ccca387c2d70b47140fc79fac77c3707749 /a8777ae113732dd18f9cf04d825322f596fedac7.patch | |
| parent | 000f1db22d33d3bc8776008c9fa8e5151df40d0e (diff) | |
add patch for PHP 7.2 from https://github.com/horde/Util/pull/2
Diffstat (limited to 'a8777ae113732dd18f9cf04d825322f596fedac7.patch')
0 files changed, 0 insertions, 0 deletions