Merge "user: Allow "CAS update failed" exceptions to be normalised"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 20 Sep 2018 22:31:11 +0000 (22:31 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 20 Sep 2018 22:31:11 +0000 (22:31 +0000)
commit6f3d5a5204770b7e9076ec0c956631c32a9e1114
tree8efccd526f84f33ddbd565f3afcd8730cdae25af
parent8b92158d76935c904b713097fc920d433c75a118
parent65f714e1e679127c4d38a40e7b23da8cee2195d6
Merge "user: Allow "CAS update failed" exceptions to be normalised"
includes/user/User.php