Merge "SessionManager: Change behavior of getSessionById()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 20 Jan 2016 22:03:08 +0000 (22:03 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 20 Jan 2016 22:03:08 +0000 (22:03 +0000)
commit32786007a2ddd01861d4437dadde0d18dcee9f78
tree2650da79ff11a87ecd38d55c2f426da42af0990a
parent7ace88b13431743cf3ee958f10b9ca474379e3c6
parent4f5057b84b36eccd16627a6b29831dfdb4483b02
Merge "SessionManager: Change behavior of getSessionById()"