Fix renaming faces: Do not delete existing face when renaming#1579
Merged
marcelklehr merged 2 commits intomasterfrom Jan 9, 2023
Merged
Fix renaming faces: Do not delete existing face when renaming#1579marcelklehr merged 2 commits intomasterfrom
marcelklehr merged 2 commits intomasterfrom