diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-22 18:48:53 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-22 18:48:53 +0000 |
| commit | 07fb65abb83c1e06fbdb8b3616ede59921d70f8c (patch) | |
| tree | fd85ce36ee615e3867d3abf9b9babe8cd7cb10fe /docs/dev/debugging.md | |
| parent | e529f733550e9d7bd0d9558a455bbbb5906b917c (diff) | |
| parent | c37ca7841cb42b659eb2ed4b2a095a283db5dce7 (diff) | |
| download | rust-07fb65abb83c1e06fbdb8b3616ede59921d70f8c.tar.gz rust-07fb65abb83c1e06fbdb8b3616ede59921d70f8c.zip | |
Merge #8628
8628: minor: Add one more profiling span to add_dep r=lnicola a=lnicola CC #8623 bors r+ Co-authored-by: Laurențiu Nicola <lnicola@dend.ro>
Diffstat (limited to 'docs/dev/debugging.md')
0 files changed, 0 insertions, 0 deletions