respect `use_short_path` on trace - #702

Merged

ko1 merged 2 commits into

short_path_on_trace

Jul 11, 2022

Commits on Jul 11, 2022

respect `use_short_path` on trace
ko1
committed
0cf839f
cosmetic changes
ko1
committed
f5f8810