diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-09-05 15:35:57 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-09-05 15:35:57 +0100 |
| commit | 566c26cbb111981cf861135a15e9ae7912a2083d (patch) | |
| tree | 52ce4981db6087e70015c3b48e24f9e3625b99bf /.gitignore | |
| parent | a5aeae15ed0b840df9c48883722caabdb312f3dd (diff) | |
| parent | 4854408f284e5b4290be00293b31d63140862be6 (diff) | |
Merge #1764
1764: close #1763 r=matklad a=ivfranco
Close #1763 for now
Co-authored-by: ivfranco <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions