diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-06-21 16:11:21 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-06-21 16:11:21 +0100 |
| commit | 56e61bdfea5454dec4408a4947e037bcd042c886 (patch) | |
| tree | 0bc42cbfcf5b6b502ad9fc3079cb4bdc5e8f110f /editors | |
| parent | 25bf451c8426a68ecfdc3a1d1be1db9702dd41d8 (diff) | |
| parent | 47747cd4120e260a144242aadd7732e11d133fe4 (diff) | |
Merge #9165
9165: Apply some clippy suggestions r=matklad a=clemenswasser
Co-authored-by: Clemens Wasser <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions