[MediaWiki-commits] [Gerrit] oojs/ui[master]: build: Fix minor whitespace issue

2017-05-10 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/353200 ) Change subject: build: Fix minor whitespace issue .. build: Fix minor whitespace issue Change-Id: I4c51a8a04116f4b65041d2f90e58

[MediaWiki-commits] [Gerrit] oojs/ui[master]: build: Fix minor whitespace issue

2017-05-10 Thread VolkerE (Code Review)
VolkerE has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/353200 ) Change subject: build: Fix minor whitespace issue .. build: Fix minor whitespace issue Change-Id: I4c51a8a04116f4b65041d2f90e58f6ee0b9a7a7b