Backport "Fix TermRef prefixes not having their type healed" to LTS#21038
Merged
WojciechMazur merged 1 commit intolts-3.3from Jul 5, 2024
Merged
Backport "Fix TermRef prefixes not having their type healed" to LTS#21038WojciechMazur merged 1 commit intolts-3.3from
WojciechMazur merged 1 commit intolts-3.3from
Commits
Commits on Jul 5, 2024
- authored andcommitted
