Merge "RCFilters: Use GroupWidget for grouping buttons and aggregating events"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 13 Oct 2017 15:04:11 +0000 (15:04 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 13 Oct 2017 15:04:11 +0000 (15:04 +0000)
commit490c755f332753575d657e1b3ec7d453e27b31ce
tree439f97ca198e8e63daa95f004209c0d6997b8267
parent439b819faf168c67b7381083c244a5d5610f85bb
parent2902d05dbc311e1db8c7322438a6f9a32bd8c2fb
Merge "RCFilters: Use GroupWidget for grouping buttons and aggregating events"