diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-29 12:59:38 +0100 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-29 12:59:38 +0100 |
commit | 87c8437af32779e1fd42d94b4c4147f6dd2b8157 (patch) | |
tree | fa95043e19fdd2390f5c4ce73a5be05e6b1ea8ae /crates/ra_hir/src/nameres/per_ns.rs | |
parent | 9eef546ca2f59d0ebc0e5dc443fc1a5d93926030 (diff) | |
parent | e45c350a3b0ec5b25c23c334e09eba2901adbcd4 (diff) |
Merge #1341
1341: log the actual time of requests r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_hir/src/nameres/per_ns.rs')
0 files changed, 0 insertions, 0 deletions