diff options
| author | Remi Collet <remi@remirepo.net> | 2020-12-09 15:38:40 +0100 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2020-12-09 15:38:40 +0100 |
| commit | 855510660a01cef799f88cec4f13dc8fc66e1c05 (patch) | |
| tree | d1b39981bb49d769b09ca4a208c398ede6dd7e2d /.gitignore | |
| parent | 4789e338d5808543c48652b9770a4b97411df8dc (diff) | |
update to 0.4.2
raise dependency on PHP 7
add patch for PHP 8 (missing arginfo) from
https://github.com/beberlei/hdrhistogram-php/pull/13
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions