Merge "mediawiki.ui: checkbox: Fix gap between bevel and border"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 8 Nov 2014 20:08:35 +0000 (20:08 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 8 Nov 2014 20:08:35 +0000 (20:08 +0000)
commit6bd7ca625b7a2356c5a5ccdaa4b5bcbf61f2694a
treef308d24c4805fab476f4020f11eb8ecf7da7ed05
parente0ad0f02b225a9e89d23e6eb840d526766af6252
parentbc2d6ca07161b6f9457d3eeb02f597ebe4903940
Merge "mediawiki.ui: checkbox: Fix gap between bevel and border"