diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-03-05 13:23:41 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-03-05 13:23:41 +0000 |
commit | fc4d0a7768c95ba50a224cab401b3a04501463d3 (patch) | |
tree | 83825ac51ac9359e9baa5e26311cfa6e187a5ff5 /crates/ra_syntax/src/ptr.rs | |
parent | f3f39b4327ea2dd0a91455df7e3bae1972c060e9 (diff) | |
parent | b96da48809ec79b0e133bcb2bc220fb28885eb52 (diff) |
Merge #3476
3476: Add profiling calls r=matklad a=matklad
bors r+
🤖
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_syntax/src/ptr.rs')
0 files changed, 0 insertions, 0 deletions