[MediaWiki-commits] [Gerrit] VisualEditor/VisualEditor[master]: Fix margins around progress dialog rows

2016-10-20 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Fix margins around progress dialog rows .. Fix margins around progress dialog rows Change-Id: I02fe4252ac34fd60cdcddebbf7b40942e998cd9d --- M src/ui/style

[MediaWiki-commits] [Gerrit] VisualEditor/VisualEditor[master]: Fix margins around progress dialog rows

2016-10-15 Thread Esanders (Code Review)
Esanders has uploaded a new change for review. https://gerrit.wikimedia.org/r/316206 Change subject: Fix margins around progress dialog rows .. Fix margins around progress dialog rows Change-Id: I02fe4252ac34fd60cdcddebbf7b40