]> git.saurik.com Git - redis.git/commitdiff
Merge remote branch 'origin/unstable' into unstable
authorantirez <antirez@gmail.com>
Thu, 28 Jul 2011 10:33:17 +0000 (12:33 +0200)
committerantirez <antirez@gmail.com>
Thu, 28 Jul 2011 10:33:17 +0000 (12:33 +0200)

Trivial merge