Skip to content

Change SynonymType to SynonymTypeProperty#158

Merged
matentzn merged 3 commits intomasterfrom matentzn-patch-1Nov 2, 2023