Avoid expensive `file-truename` call when possible#3430

Draft

vemv wants to merge 1 commit intomasterfrom truename-perf

+11-1

Commits on Aug 24, 2023

Avoid expensive file-truename call when possible
vemv
committed