Merge Scripts should not add duplicate styles into release candidate#25

Open

scrpr wants to merge 1 commit intoTypesettingTools:masterfrom

scrpr:fix_duplicate_styles

Commits on Nov 8, 2023

Merge Scripts: do not add duplicate styles into release candidate
scrpr
committed