doc: fix two links to tracing docs#12537

Merged

bors merged 2 commits intorust-lang:masterfrom dario23:fix-link

Aug 24, 2023

+2-2

Commits on Aug 21, 2023

doc: fix two links to tracing docs
dario23
committed

Commits on Aug 24, 2023

doc: fix typo
weihanglo
authored