@mnapoli opened this Pull Request on April 12th 2015 Contributor

Fixes #7647

The original issue also mentioned:

Also I think getAllUsersPreferences does not return default values so a key might be not set.

Not able to reproduce but just in case I have added some code to handle that case.

This Pull Request was closed on April 15th 2015
Powered by GitHub Issue Mirror