diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-30 23:00:07 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-05-30 23:00:07 +0100 |
commit | 5f7225446e75509ae0d971a6f3e2b9d3e37d6f2a (patch) | |
tree | d1039f5fcac5cf5f4b9b48965852c343941fd42f /.gitignore | |
parent | 07060b3daa9592090da45245ea13c28304449d9d (diff) | |
parent | e1829d8959d9f48302fec42d64216c158db13744 (diff) |
Merge #4662
4662: minor r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions