Merge "AuthManager: Break AuthPlugin::addUser more explicitly"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 14 Jul 2016 21:08:53 +0000 (21:08 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 14 Jul 2016 21:08:53 +0000 (21:08 +0000)
commitd0e3551cda08caf3a0086f1ef8bbb3f0f991f520
treec8c4d2aa177e5250604cca1d730f037cd506eb8c
parenta8b99d746fcf25d8fe4efaf8986cf9ad268dce2d
parent677c66b31ecfadc48733396ed7c729847875fe21
Merge "AuthManager: Break AuthPlugin::addUser more explicitly"