Merge "Add UserOptionsUpdateJob class"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 4 May 2019 17:42:48 +0000 (17:42 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 4 May 2019 17:42:48 +0000 (17:42 +0000)
commit795bbed0ec53b7ab5f338b396a9e46a0fb031365
treeff2b841bda8ff70ac701434b99935dc66784b129
parent23e254ca11e97bb0e9f1e182238983b854b65107
parent4d8bfbdca469f49f8f03e8daf5f20de8c5f876a6
Merge "Add UserOptionsUpdateJob class"