Merge "Further optimize User::saveOptions() by doing deletes by PRIMARY KEY"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 10 Mar 2014 20:59:08 +0000 (20:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 10 Mar 2014 20:59:08 +0000 (20:59 +0000)
commit2a7eba5bf779ebbc9d589f7bdd6bdec6c76e854b
treebc56118c2ca78e761bff53ac01d7381858efd99d
parent603174ff41425366602358daa68a9fbd50f15b58
parent7f3d3df73abf141a7dd0b942b907bd2488c6a95e
Merge "Further optimize User::saveOptions() by doing deletes by PRIMARY KEY"