Merge "Properly check whether a user exists"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 14 Jul 2014 16:14:47 +0000 (16:14 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 14 Jul 2014 16:14:47 +0000 (16:14 +0000)
commit54b75d8c30ec9f67c9df6d0a1b0c80410776ff75
tree9ab309c7862f7903307157fe663c923e4cdc8176
parentc30da5b0e968d95afb6f2c09dcb169467931d50a
parent78a8351111049794804af3d91e9e903d9341f721
Merge "Properly check whether a user exists"