diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-10-29 20:11:33 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2019-10-29 20:11:33 +0000 |
commit | 3bd3f50578e5bb904729994a765730bcaed5d741 (patch) | |
tree | cb005285d0936057debeee83e59709ba19220225 /crates/ra_hir/src/ty/autoderef.rs | |
parent | 542bc18223fdef60c942d0d6ca0dd9be9de2cd91 (diff) | |
parent | 3c140050ff469364db88b4f582533937a8a7fe61 (diff) |
Merge #2120
2120: Profile all request handlers r=matklad a=kjeremy
Co-authored-by: kjeremy <[email protected]>
Diffstat (limited to 'crates/ra_hir/src/ty/autoderef.rs')
0 files changed, 0 insertions, 0 deletions