Merge "Update outdated WikiPageDeletionUpdates documentation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 9 Jan 2018 13:19:33 +0000 (13:19 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 9 Jan 2018 13:19:33 +0000 (13:19 +0000)
commitcf187ac2c83d684c7335b41d9190c8744b19df16
tree1054142ff54edb888d0b548700d36014a8baed11
parenteb6c589e54e8c69cb9b1a22705457b50b8b21a83
parent9e0a7940ff12659b586fcb8f037cb667f9a1617c
Merge "Update outdated WikiPageDeletionUpdates documentation"