Merge "Revert "User::saveOptions() optimization""
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 31 Jan 2014 00:41:55 +0000 (00:41 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 31 Jan 2014 00:41:55 +0000 (00:41 +0000)
commitf4c35c98fc218fec0b133b1feea85a6b0ca05f7c
treee53dda6337d0331e176162799e69402cf2b9060b
parent55605dfbeea865cacb2299271ddec4716799061d
parent2855210048d6056601b4afa6dc0a53cf861eb011
Merge "Revert "User::saveOptions() optimization""