diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-25 18:47:11 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-05-25 18:47:11 +0100 |
| commit | 76fa498d6c69a8c26f074b15178256041bb53675 (patch) | |
| tree | 8235c222a226ace40dc487c8d36a0fdfe6e40c3b /docs | |
| parent | 3c2c8d7e5f7887351bf8e475f441609527679e5f (diff) | |
| parent | a5cc9a8a9ba1e6a0fc281e149881abdd3bd075c1 (diff) | |
Merge #4614
4614: Fix some clippy perf warnings r=kjeremy a=kjeremy
Co-authored-by: Jeremy Kolb <[email protected]>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions