Merge "Preferences: Don't load all default options for every default preference"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 12 Aug 2015 22:52:01 +0000 (22:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 12 Aug 2015 22:52:01 +0000 (22:52 +0000)
commit27421c3bd3fdc9c6353dc85ead13d59c5dafdc01
tree228e115d66adefa6a9cb10b9488d2f30c54015a7
parent9bba2d169ed968839b07c85be487e0185cb38ce0
parentc08e097fe417b1c56218122e67d1493096a56f6c
Merge "Preferences: Don't load all default options for every default preference"