Merge "RCFilters: Scroll widget to top when switching view"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 2 Aug 2017 00:37:10 +0000 (00:37 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 2 Aug 2017 00:37:10 +0000 (00:37 +0000)
commit34dae4452f57219d555e2b6989357cd2cca54f72
tree6947796b9629df92f8426185bc1713883b39a585
parentceb930c7893ac69312c6a380d1e79e893625ef4f
parent56381f4979a62fb19e79e73ed700709dc7031b1f
Merge "RCFilters: Scroll widget to top when switching view"