Merge "Efficiently reset null user tokens"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 29 Aug 2013 00:20:52 +0000 (00:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 29 Aug 2013 00:20:52 +0000 (00:20 +0000)
commit3f0272004cd115b07c313a8c8a17c3a841052353
tree0606ec664d69a554d425b0ea358af79ebb5f7d97
parentd469bd1a4a6d8e0c0263aad95bace36cd10e52b8
parent4191b3d0b1b134610114c165487e30e6d82402f6
Merge "Efficiently reset null user tokens"