diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-04-22 19:48:53 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2021-04-22 19:48:53 +0100 |
| commit | 07fb65abb83c1e06fbdb8b3616ede59921d70f8c (patch) | |
| tree | fd85ce36ee615e3867d3abf9b9babe8cd7cb10fe /editors | |
| parent | e529f733550e9d7bd0d9558a455bbbb5906b917c (diff) | |
| parent | c37ca7841cb42b659eb2ed4b2a095a283db5dce7 (diff) | |
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 <[email protected]>
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions