[MediaWiki-commits] [Gerrit] Divide surface margins by 0.8 - change (mediawiki...VisualEditor)

2015-05-01 Thread Esanders (Code Review)
Esanders has uploaded a new change for review. https://gerrit.wikimedia.org/r/208288 Change subject: Divide surface margins by 0.8 .. Divide surface margins by 0.8 Change-Id: Ic9a0b3f4d8e82127649bb5ac100e3cbf42001489 --- M

[MediaWiki-commits] [Gerrit] Divide surface margins by 0.8 - change (mediawiki...VisualEditor)

2015-05-01 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Divide surface margins by 0.8 .. Divide surface margins by 0.8 Change-Id: Ic9a0b3f4d8e82127649bb5ac100e3cbf42001489 --- M