Merge "RCFilters: Hide 'reload watchlist automatically' setting if RCFilters is enabled"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 26 Mar 2018 19:59:46 +0000 (19:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 26 Mar 2018 19:59:46 +0000 (19:59 +0000)

Trivial merge