Merge "RCFilters: Replace deprecated 'advanced' by renamed to 'settings' icon"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 12 Sep 2018 16:49:20 +0000 (16:49 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 12 Sep 2018 16:49:20 +0000 (16:49 +0000)
commit345618340dcab03d517a99bf13cbd0126a149957
tree3b75860a1021537d7b93161bad225615d1cec592
parent039d957b43dda31439d43d34db5aa7175798dbbf
parent9aa4b1b9aae9430d4a7dab0d99a99b9eefb6cb37
Merge "RCFilters: Replace deprecated 'advanced' by renamed to 'settings' icon"