Merge "RCFilters: Style saved links option menu"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 26 May 2017 19:58:31 +0000 (19:58 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 26 May 2017 19:58:31 +0000 (19:58 +0000)
commit4ec966b4bde9ce7ae442468b9bd98e94384d52c9
tree3316270d28b123cd1eeaba47b957dc7b01219130
parentd41a6afe00783f0ad3344b7edabdc1c8eca9478d
parentd6760ede2a748ab58b2cf1495d28c4425b17f5c9
Merge "RCFilters: Style saved links option menu"