Merge "maintenance/interwiki.*: Replace Wikimedia Foundation wiki URL"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 18 Jul 2018 07:26:41 +0000 (07:26 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 18 Jul 2018 07:26:41 +0000 (07:26 +0000)
commit76527cd0979589ec11143d6ecd1bb86f96121153
tree6fd0bb6a4c28c75dffa26c4b5a6f21bb60980bac
parente5d71f2552893f15da9c0be7dd1fa210adb7be23
parent4aa6454d454df807059db5e794ef620896ff2e3d
Merge "maintenance/interwiki.*: Replace Wikimedia Foundation wiki URL"