Skip to content

Make settings menu more usable#1732

Merged
juliusknorr merged 1 commit intomasterfrom
bugfix/1675
Apr 21, 2020
Merged

Make settings menu more usable#1732
juliusknorr merged 1 commit intomasterfrom
bugfix/1675

Commits

Commits on Apr 20, 2020