Merge "RCFilters: Center the checkmark in the highlight menu"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 5 Jun 2017 19:07:34 +0000 (19:07 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 5 Jun 2017 19:07:34 +0000 (19:07 +0000)
commit1a917c893ff2d7d283099fda1e8b5c46b4fb26ab
tree84a7e79e678cb37f6d79fb757efcdc75363572c7
parent06a0fb5582f69726895c3547afd681939db831cc
parenteeda6611e71c45f4f5f7955c4ed7d8a7006e264e
Merge "RCFilters: Center the checkmark in the highlight menu"