Merge "SessionManager: Use existing backend for the ID if one is loaded"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 23 Mar 2016 10:37:13 +0000 (10:37 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 23 Mar 2016 10:37:13 +0000 (10:37 +0000)
commit15474ac5517df375f1dc6ae2c2e6d8ab695b7ecd
treef15bf45b9cd76e0a06b2f0672d03689623f88263
parent627b6fd2af292ac9f25ff06b134302f0d5cc7f67
parentdeb46ebfd7542ff820d4028c3644f13ef167f495
Merge "SessionManager: Use existing backend for the ID if one is loaded"