Merge "Handle session reset errors in invalidateSessionsForUser.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 20 Jun 2016 14:27:55 +0000 (14:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 20 Jun 2016 14:27:55 +0000 (14:27 +0000)
commitc15fda5923cbaf4788611eb131a95b1d48a1adf5
treea589f1377e66b548d62575726ff1ad817196f7d1
parentb45ccf8b47068348d62ca39bbc01fe7f7127a0d7
parentfa186b2e649dce87766ef9d6e3fd952637bf22e7
Merge "Handle session reset errors in invalidateSessionsForUser.php"