Merge "Work around hhvm bug in redis job queue"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 7 Jul 2014 22:18:39 +0000 (22:18 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 7 Jul 2014 22:18:39 +0000 (22:18 +0000)
commita574a40dc588a68d041b08c752b306c617a23428
tree607592f5d5a69c208813a5e77c8f2a0a831fb148
parent7185c030b8c96ede82848cd4d7a5b4033586022f
parent95bfc8b956e1fbf0992b717204ecebecbe40fb0e
Merge "Work around hhvm bug in redis job queue"