]> git.saurik.com Git - redis.git/commitdiff
Removed a useless if spotted by Pieter Noordhuis
authorantirez <antirez@gmail.com>
Fri, 26 Mar 2010 10:21:11 +0000 (11:21 +0100)
committerantirez <antirez@gmail.com>
Fri, 26 Mar 2010 10:21:11 +0000 (11:21 +0100)

No differences found