Merge "Optimize how user options are delivered to the client"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 5 Dec 2014 19:43:06 +0000 (19:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 5 Dec 2014 19:43:06 +0000 (19:43 +0000)
commit9c785e91587acdebbd40408fdb8e44956a9c8364
tree6a5d55c8591b4a10538b5371a8e0ef533853e677
parent8c77446bd7ce69caab1b038488b986eff9beace2
parent1c1734758056005413dffe9859c72604231ecd9f
Merge "Optimize how user options are delivered to the client"