Merge "API changes for AuthManager"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 16 May 2016 19:01:44 +0000 (19:01 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 16 May 2016 19:01:44 +0000 (19:01 +0000)
commit0eaf829efa50d00811310a66812b5fff83deb3bf
treee58dc0de31dd76f825ffa952141a9eee278f0484
parent462ae127e5d877008e76506272a53d99c5c996cc
parent54d58ef506653ad916deb11882e264dd4f0eb0bf
Merge "API changes for AuthManager"