[MediaWiki-commits] [Gerrit] wikidata...gui[master]: Remove scrolling yes

2016-12-01 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Remove scrolling yes .. Remove scrolling yes Change-Id: Iea6f828b25dea18cf4170142fc38c88713e9f859 --- M wikibase/queryService/ui/App.js 1 file changed, 1

[MediaWiki-commits] [Gerrit] wikidata...gui[master]: Remove scrolling yes

2016-12-01 Thread Jonas Kress (WMDE) (Code Review)
Jonas Kress (WMDE) has uploaded a new change for review. https://gerrit.wikimedia.org/r/324733 Change subject: Remove scrolling yes .. Remove scrolling yes Change-Id: Iea6f828b25dea18cf4170142fc38c88713e9f859 --- M