Merge "RCFilters UI: Adjust filter list header elements' alignment"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 16 Mar 2017 18:58:10 +0000 (18:58 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 16 Mar 2017 18:58:11 +0000 (18:58 +0000)
commit3bc3a94c6146bb7b3c75be9fc6044c33d9f9d378
tree70a60e34236a8bbcfadfeac3b9c6d52201777a36
parent9787acd28a39ad3a37cc124079092651a57a32bc
parent637b3e1b76d27dbccb8ef7a835d46850ab763f11
Merge "RCFilters UI: Adjust filter list header elements' alignment"