[MediaWiki-commits] [Gerrit] Divide surface margins by 0.8 - change (mediawiki...VisualEditor)
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)
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