Merge "RCFilters: better vertical alignment of checkbox and text in menus"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 3 Oct 2018 00:43:17 +0000 (00:43 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 3 Oct 2018 00:43:17 +0000 (00:43 +0000)
commit947d79685c3b6c2fbce916eba41b233073531158
treec97040026e696ae7ef13b53d5fb2543cbd8e2a09
parent87cb9abf237530671c75f2b22b8940e783f00df0
parentd1143076ca6e411bd2f562b56532a578577ba656
Merge "RCFilters: better vertical alignment of checkbox and text in menus"