Merge "More cleanup when removing accounts with removeUnusedAccounts.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 4 Jun 2013 19:34:44 +0000 (19:34 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 4 Jun 2013 19:34:44 +0000 (19:34 +0000)
commit3a8d037a1c8994e045c24ed74194682d3146d855
treeb0a66fb1cfb185fb3c9282369c2b11cd3d4123b1
parentb36555cea0986e6effff3f136f38597050d5ae2d
parentcdb2ff5ad4d225a3791513b2b48c30bf819fffb3
Merge "More cleanup when removing accounts with removeUnusedAccounts.php"