Merge "Maintenance: init a user preference based on another preference"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 3 Mar 2017 18:37:03 +0000 (18:37 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 3 Mar 2017 18:37:03 +0000 (18:37 +0000)
commit900843f7ee9131ebdbe839fafffb70b8e293a8b9
treee5c03ad61a19a960b418327e336a06bab4c11607
parent732c91eb5fb224db6140dc47dda90af05726f4a0
parent3db26d8d8b28e733a8880e8bd3993d2161a28987
Merge "Maintenance: init a user preference based on another preference"