Merge "RCFilters: Simplify "Saved filter settings" to "Saved filters""
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 27 Jun 2017 19:47:04 +0000 (19:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 27 Jun 2017 19:47:04 +0000 (19:47 +0000)
commit3377ea714717edcc279b0f88f8172af5bec9808d
tree92e800f670d6ce15079091e507805a873d5ff816
parent885f3775cdcb5a61bece504190ff0b636483ab0f
parent2917e7e1abeb19e56697c1e292b8d4ee85f98763
Merge "RCFilters: Simplify "Saved filter settings" to "Saved filters""