[MediaWiki-commits] [Gerrit] Deleted duplicated lines with extension names - change (integration/jenkins-job-builder-config)
Zfilipin has uploaded a new change for review. https://gerrit.wikimedia.org/r/150179 Change subject: Deleted duplicated lines with extension names .. Deleted duplicated lines with extension names Change-Id:
[MediaWiki-commits] [Gerrit] Deleted duplicated lines with extension names - change (integration/jenkins-job-builder-config)
jenkins-bot has submitted this change and it was merged. Change subject: Deleted duplicated lines with extension names .. Deleted duplicated lines with extension names Change-Id: I8d58f6056bc344e840081705d23d78a1d0848526 --- M