diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-05 15:19:12 +0100 |
|---|---|---|
| committer | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-05 15:19:12 +0100 |
| commit | ec6f71576ace170fd306a68f77e5c5e9646d15be (patch) | |
| tree | d39853a3366ea849b60b342240a5908f16899dcf /.github | |
| parent | 3be2d1db6c04a99efdd32b1af724caeb10d9676b (diff) | |
| parent | 98d769a799e430f152e573c28f101d9d6aee5376 (diff) | |
Merge #1491
1491: More clippy r=matklad a=kjeremy
A few more clippy changes.
I'm a little unsure of the second commit. It's the trivially_copy_pass_by_ref lint and there are a number of places in the code we could use it if it makes sense.
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions