Remove GetFullName(DefType) extension method and replace usage#123001
Merged
MichalStrehovsky merged 3 commits intomainfrom Jan 9, 2026
Merged
Remove GetFullName(DefType) extension method and replace usage#123001MichalStrehovsky merged 3 commits intomainfrom
MichalStrehovsky merged 3 commits intomainfrom
Commits
Commits on Jan 8, 2026
- committed
- andcommitted
