Fix issues where some user settings cannot be loaded when the user id…#25686

Merged

DeepDiver1975 merged 1 commit intomasterfrom

fix-case-sensitive-settings

Aug 22, 2016

Commits on Aug 18, 2016

Fix issues where some user settings cannot be loaded when the user id differs in case sensitivity - fixes #25684
DeepDiver1975
committed