Merge "User::saveOptions() optimization"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 24 Jan 2014 19:13:25 +0000 (19:13 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 24 Jan 2014 19:13:25 +0000 (19:13 +0000)
commit0edf35c069dc34fe6dfad5cbeb91699d0736857f
tree1740a45e20fdd5f41a0b262c981789f7cfd54983
parentf6aa7b3e88658f7474a78b610f517b0f36d8b5f3
parentff355e87e2f7a41a87c37f43232a44113cb033e0
Merge "User::saveOptions() optimization"