Merge "Add equals() to UserIdentity"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 9 May 2018 17:28:00 +0000 (17:28 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 9 May 2018 17:28:00 +0000 (17:28 +0000)
commit5f4ad2a76a1f5e4fdf56744749817b45da39097b
treef3a852aee45863a895cd34ff1b0c7e7e8b0a58b6
parent437d44db61bc22260d0c8a4be67a7e267b2fb5b8
parentdf1c24fde82ae8408054b5864a8ec037d9cc0512
Merge "Add equals() to UserIdentity"