Skip to content

Prevent double escape of ampersand for Settings title#1760

Merged
georgehrke merged 1 commit intomasterfrom
bugfix/1735/settings_title
Jan 9, 2020
Merged

Prevent double escape of ampersand for Settings title#1760
georgehrke merged 1 commit intomasterfrom
bugfix/1735/settings_title

Commits

Commits on Jan 7, 2020