Skip to content

Make command history user-facing while retaining internal trace#1672

Merged
codeforester merged 2 commits into
mainfrom
enhancement/1671-20260717-history-user-trace
Jul 18, 2026
Merged

Make command history user-facing while retaining internal trace#1672
codeforester merged 2 commits into
mainfrom
enhancement/1671-20260717-history-user-trace