Merge "Output Done! at end of resetUserEmail.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 21 Oct 2018 17:33:26 +0000 (17:33 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 21 Oct 2018 17:33:26 +0000 (17:33 +0000)
commit7a7181a00a8a40c6b41c0468af879e0d3f27c040
tree1e4ca19404d96eb090387b3f58d70d0c7dd1347f
parent35023d616fb75a4c3b7a58f04b16d22e81a7403b
parent39d55d812c32d9fc3b326cb96831d61d781e9647
Merge "Output Done! at end of resetUserEmail.php"