diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-07-20 17:54:57 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-07-20 17:54:57 +0100 |
| commit | 21b4e9178fd7047f01f6d999abe6b167027263d9 (patch) | |
| tree | 0fac8c81fa4940e946f6f7f1efe2af2383207b0b /docs/dev/debugging.md | |
| parent | 7a089a7bab3779ad83719a91f0db6ec6ccf0175b (diff) | |
| parent | 17f4d27f1285a76961b2e3957dc192de8e4f179f (diff) | |
Merge #5440
5440: Minor perf tweaks per clippy r=matklad a=kjeremy
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'docs/dev/debugging.md')
0 files changed, 0 insertions, 0 deletions