[MediaWiki-commits] [Gerrit] Deleted duplicated lines with extension names - change (integration/jenkins-job-builder-config)

2014-07-29 Thread Zfilipin (Code Review)
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)

2014-07-29 Thread jenkins-bot (Code Review)
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