[stable9.1] Fix issues where some user settings cannot be loaded when… - #1156

Merged

rullzer merged 1 commit into

stable9.1-db60e65409e7c6d4f1bde5062af53fbad6e8b412

Aug 29, 2016

Commits on Aug 29, 2016

[stable9.1] Fix issues where some user settings cannot be loaded when the user id differs in case sensitivity - fixes #25684 (#25686)

DeepDiver1975
authored and
LukasReschke
committed
f6ee934