Merge "Preferences class deprecation, step 2"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 5 Nov 2018 21:36:57 +0000 (21:36 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 5 Nov 2018 21:36:57 +0000 (21:36 +0000)
commit7c07aa3f730daaade60e5546c2a7b3979382edde
tree8ca7e27d1e321aa2d0f1773bbaa84bbb51da62a2
parent763fbffcf8066e609d0679424722977b7fb7f0da
parentd7e520fbbba5c0501c19e113af19818b5fa577fb
Merge "Preferences class deprecation, step 2"