[MediaWiki-commits] [Gerrit] operations/puppet[production]: Removed dead FTP link from mirror list.

2017-09-04 Thread ArielGlenn (Code Review)
ArielGlenn has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/375614 ) Change subject: Removed dead FTP link from mirror list. .. Removed dead FTP link from mirror list. Change-Id: I105fbda106594144d

[MediaWiki-commits] [Gerrit] operations/puppet[production]: Removed dead FTP link from mirror list.

2017-09-03 Thread Felipe L. Ewald (Code Review)
Felipe L. Ewald has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/375614 ) Change subject: Removed dead FTP link from mirror list. .. Removed dead FTP link from mirror list. Change-Id: I105fbda106594144d185