Merge "Remove old comment and unused setting"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 5 Aug 2019 15:19:01 +0000 (15:19 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 5 Aug 2019 15:19:01 +0000 (15:19 +0000)
commiteb833685de76cb23631b59bf7e16efdcbd5e0d6d
treeb215a7e3e8d6e12472bf9623fdbe409cab4b7af1
parent04052920e992bd32115b9e16ccc8feeac7b8f5dc
parentfae72d0bb5103f2cf07874638d829bc2fdba1303
Merge "Remove old comment and unused setting"