[MediaWiki-commits] [Gerrit] operations/puppet[production]: Removed dead FTP link from mirror list.
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.
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