diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-06-18 13:18:25 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-06-18 13:18:25 +0100 |
| commit | 7eb843b218b5e10b39a5171f5b9689ec6c2d71c3 (patch) | |
| tree | 64e3deddd104187ff8aa9b5dd9c64819a5378f1d /editors | |
| parent | 86c3c42d8ed060b66df95f33c20c1f5778c38ee0 (diff) | |
| parent | 6b1f0057f2dbe48f1c59c8938957daf158e30823 (diff) | |
Merge #9325
9325: Minor: clippy perf fixes r=matklad a=lnicola
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions