diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-01-13 17:06:19 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-01-13 17:06:19 +0000 |
commit | 7ea7de338f1c8ad1e89600e04570f03c2688c0c0 (patch) | |
tree | ebd05b4c0f0d91eda62d2767780646f95835270b /.gitignore | |
parent | 27abd4a1a57bba47c717cb55e4719d69f2c5eb5c (diff) | |
parent | c5c5f4260b4ab1a03d2d3f7a616202369adc9ade (diff) |
Merge #2825
2825: Some clippy lints r=matklad a=kjeremy
Co-authored-by: kjeremy <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions