]> git.saurik.com Git - redis.git/commitdiff
Merge remote branch 'pietern/benchmark'
authorantirez <antirez@gmail.com>
Fri, 5 Nov 2010 09:29:59 +0000 (10:29 +0100)
committerantirez <antirez@gmail.com>
Fri, 5 Nov 2010 09:29:59 +0000 (10:29 +0100)

Trivial merge