Merge "ExternalUserNames: Update partly incomplete documentation"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 5 Jun 2018 13:56:00 +0000 (13:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 5 Jun 2018 13:56:00 +0000 (13:56 +0000)
commit97402532d48de203925a850a4afa2d8f43e3dd9f
treee0f91bce7d8d4bc8a9a9bbf128b2949685f4ec7e
parentd5b271a464c97a54a7f4f9ec6d76e54249acef24
parent2a38174f72055aeba84ed8e2f9e8f90f12fdd949
Merge "ExternalUserNames: Update partly incomplete documentation"