Merge "More optimizations to User::saveOptions()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 9 Jun 2014 23:51:09 +0000 (23:51 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 9 Jun 2014 23:51:09 +0000 (23:51 +0000)
commit5e6151b3904b4438785e16a2c4e5b2a06bede597
tree73c69f7f1d5547481374d3bebbae78de46226c7c
parentcb20b5aa5a68d8f925adf7acc2c3e748d5a66ad2
parentb66bb911b57fbbd39df97fc1878aaa46dea7590f
Merge "More optimizations to User::saveOptions()"