Merge "API: Allow querying central user info"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 2 Dec 2015 22:41:38 +0000 (22:41 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 2 Dec 2015 22:41:38 +0000 (22:41 +0000)
commit984ea740aa78bd3a79928d8562c5a19b25f59a9d
treef9951df38d1b9a75f56cea55321d2a0fcb68167b
parentb7656125787e279a0d7cf9e837052ebe32dc2c76
parent72152a7ffc102440cfd30c326dc0c0d5f2def2d6
Merge "API: Allow querying central user info"