Skip to content

[1620] Handle short names in qualified names when direct editing#1623

Merged
AxelRICHARD merged 1 commit into
mainfrom
fro/enh/short-name
Oct 29, 2025
Merged

[1620] Handle short names in qualified names when direct editing#1623
AxelRICHARD merged 1 commit into
mainfrom
fro/enh/short-name

[1620] Handle short names in qualified names when direct editing

fbd0a06
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.