jenkins-bot has submitted this change and it was merged.
Change subject: Update interwiki map
..
Update interwiki map
Some links were still protocol-relative. We switch them to HTTPS, as now
required by the API. That will resum
Dereckson has uploaded a new change for review.
https://gerrit.wikimedia.org/r/299299
Change subject: Update interwiki map
..
Update interwiki map
Some links were still protocol-relative. We switch them to HTTPS, as now
requi
jenkins-bot has submitted this change and it was merged.
Change subject: Update interwiki map
..
Update interwiki map
Requested by Steinsplitter on #wikimedia-operations.
Change-Id: I18dd4c8e12fd535953ba2379420de9f1ae0aca10
--
Dereckson has uploaded a new change for review.
https://gerrit.wikimedia.org/r/298028
Change subject: Update interwiki map
..
Update interwiki map
Requested by Steinsplitter on #wikimedia-operations.
Change-Id: I18dd4c8e12fd