[MediaWiki-commits] [Gerrit] oojs/ui[master]: demo: Fix vertical spacing in icons demo

2017-01-24 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/333890 ) Change subject: demo: Fix vertical spacing in icons demo .. demo: Fix vertical spacing in icons demo Follow-up to 0e6c4b89ceeb9

[MediaWiki-commits] [Gerrit] oojs/ui[master]: demo: Fix vertical spacing in icons demo

2017-01-24 Thread Code Review
Bartosz Dziewoński has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/333890 ) Change subject: demo: Fix vertical spacing in icons demo .. demo: Fix vertical spacing in icons demo Follow-up to 0e6c4b89ceeb95

[MediaWiki-commits] [Gerrit] oojs/ui[master]: demo: Fix vertical spacing in icons demo

2017-01-23 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/333727 ) Change subject: demo: Fix vertical spacing in icons demo .. demo: Fix vertical spacing in icons demo Follow-up to 0e6c4b89ceeb9

[MediaWiki-commits] [Gerrit] oojs/ui[master]: demo: Fix vertical spacing in icons demo

2017-01-23 Thread Code Review
Bartosz Dziewoński has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/333727 ) Change subject: demo: Fix vertical spacing in icons demo .. demo: Fix vertical spacing in icons demo Follow-up to 0e6c4b89ceeb95