Merge "Standardize editfont size across browsers/OSes"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 20 Dec 2017 01:25:05 +0000 (01:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 20 Dec 2017 01:25:05 +0000 (01:25 +0000)
commitd26f3a3232f769803bec779735b21dcda5fdacc7
tree5f257f44d24a510b004315563408b3fff48b7c78
parent04efb9371175d413aeb5ed9965517d989621b457
parentbddb727a9f9d406641166ba65295dff2e5a21319
Merge "Standardize editfont size across browsers/OSes"