Merge "User: Fix loading of user_token"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 28 Jan 2016 20:15:15 +0000 (20:15 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 28 Jan 2016 20:15:15 +0000 (20:15 +0000)
commitdf30bae316cdfdb8f9786fe9cc7dd77516c84f2d
treeff81e6bc262cc4c4e4b86d204aee98ae6de17c9e
parentbdc487871d205823cdc141997590e6a6f7c8b516
parent76d790623cc09dfbf51cbf45877f5f81af773303
Merge "User: Fix loading of user_token"