diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-08-12 12:04:06 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-08-12 12:04:06 +0100 |
| commit | f6c0b1ce59c9fa5bcbf482b1b9d16a3bae6abf1c (patch) | |
| tree | 293efde12cd4b5ac6626694a12ee5b9b690a356d /.gitignore | |
| parent | e471cb2a127b45cec5f23359ea92bf6bcad753b6 (diff) | |
| parent | c81e7a3a5936688cbe94c32f4e872ff36100def2 (diff) | |
Merge #5719
5719: 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