Merge "SessionManager: Kill getPersistedSessionId()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 22 Jan 2016 21:40:52 +0000 (21:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 22 Jan 2016 21:40:52 +0000 (21:40 +0000)
commit324b956d808eb2ad66c75309fc7f2040d96dd559
tree777efc5aa3287b68e297cd4f31868141ca992b3b
parent19df89372c234d405cd5374f25133b4f95ab4c41
parent43f904b51a746d7f71ea2ab9951c5c98d269765b
Merge "SessionManager: Kill getPersistedSessionId()"