Merge "Fix handling of already logged-in user in Special:Userlogin"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 19 Jul 2018 08:32:11 +0000 (08:32 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 19 Jul 2018 08:32:11 +0000 (08:32 +0000)
commit3e83cc276aa498fbf5786a1f9bdd6285fa03cdc9
treeb16b6204e04f6bf33abb7d8d14539f71472483f3
parent9b0c621d7f982c66c02ab4ddedc25b51040aaeb9
parent5ba1d4ceae6b1fa675c37575b5d59de338911a27
Merge "Fix handling of already logged-in user in Special:Userlogin"