Merge "Convert HTTP links to MediaWiki.org to HTTPS"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 4 Apr 2018 22:53:15 +0000 (22:53 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 4 Apr 2018 22:53:15 +0000 (22:53 +0000)
commitfb5eed4ebb0a0e8b4b357b2c23913fd5176eee4e
tree6d1b54e3ba2e5a6edb7bc803190e497fafa4ee30
parentb7d1782e1055cd04338293d1c5ce0f09ffadbff4
parent074baa39f5e3abd5b5d59ce497f1825658c71f00
Merge "Convert HTTP links to MediaWiki.org to HTTPS"