Merge "Tag redirects from moves as new redirects"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 13 Feb 2018 17:58:59 +0000 (17:58 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 13 Feb 2018 17:58:59 +0000 (17:58 +0000)
commit51e40a712f2f2eb57216b26a16c91d14f74d5cf2
treece394d3560bf970e4b523e74b29a0761dc6f82b9
parent963bff8cce84a627fd68f415b99ce6760e3748b8
parent18a2fd3268d1864d1480d5bfef0a69abf55a0dd4
Merge "Tag redirects from moves as new redirects"