Merge "Preferences: Remove unwise caching of Preferences::getPreferences()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 15 Nov 2017 19:27:05 +0000 (19:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 15 Nov 2017 19:27:05 +0000 (19:27 +0000)
commitb7dc54d5007969d814e6d1aee4e7bed7c4dbaca9
tree9adb753df0449b6b79f1f1cd9ae95c2242af8894
parentbe0d9f587138a79e8f18bc7b26dd297d708b72c4
parenteed3cf7747dd9d183b62f2550c741584093e6373
Merge "Preferences: Remove unwise caching of Preferences::getPreferences()"