[MediaWiki-commits] [Gerrit] Drop 5.3 repo only travis build (in German) - change (mediawiki...Wikibase)
Jeroen De Dauw has submitted this change and it was merged. Change subject: Drop 5.3 repo only travis build (in German) .. Drop 5.3 repo only travis build (in German) we run 5.3 on jenkins, so this is redundant. Change-Id:
[MediaWiki-commits] [Gerrit] Drop 5.3 repo only travis build (in German) - change (mediawiki...Wikibase)
Aude has uploaded a new change for review. https://gerrit.wikimedia.org/r/10 Change subject: Drop 5.3 repo only travis build (in German) .. Drop 5.3 repo only travis build (in German) we run 5.3 on jenkins, so this is