Merge "rcfilters: Fix filter menu checkbox alignment after OOUI v0.27.5 release"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 13 Jul 2018 19:01:20 +0000 (19:01 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 13 Jul 2018 19:01:20 +0000 (19:01 +0000)
commit6205984ac25f449cf0cb02fb4f48d2ee0908cdda
treeb73e41624acb8b3ab9ee9032b6d07f0d4733a373
parentc6810d74d18437caff5a0af3efa4c42ec1811bb1
parent1afcb64574f812d40bfc89a087ed3a6c35bf0413
Merge "rcfilters: Fix filter menu checkbox alignment after OOUI v0.27.5 release"