diff options
author | Remi Collet <remi@remirepo.net> | 2020-02-26 08:31:41 +0100 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2020-02-26 08:31:41 +0100 |
commit | 7daf9a40139956eaefd54e2efa3c96e281604a18 (patch) | |
tree | 811461be473a65118373c216b6f52dcb11001609 /.gitignore | |
parent | 73d278ff637a25d8e0c2e90de67db58fc0566fe2 (diff) |
update to 5.1.0
drop unneeded hack as our PR was merged upstream
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions