diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-11-27 16:14:04 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-11-27 16:14:04 +0000 |
commit | 0993f9067cfc14cded484906283d1df8e8741e8e (patch) | |
tree | 235ecf5049b1af3ed8fdf35cad5b66ceb8f28ff4 /.gitattributes | |
parent | c66d477f5a72247b04b9025f6ba9c403ca628d41 (diff) | |
parent | 04cd4b17bb04031ecf7c7e9b734d22ea74d8f114 (diff) |
Merge #6651
6651: Profile completions better r=SomeoneToIgnore a=SomeoneToIgnore
During https://github.com/rust-analyzer/rust-analyzer/issues/6612 investigation, had added a few more profiling points and considered that they can be useful later, ergo the PR.
Co-authored-by: Kirill Bulatov <[email protected]>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions