]> git.saurik.com Git - redis.git/commitdiff
Merge pull request #787 from charsyam/remove-warning-bio
authorSalvatore Sanfilippo <antirez@gmail.com>
Fri, 23 Nov 2012 11:44:18 +0000 (03:44 -0800)
committerSalvatore Sanfilippo <antirez@gmail.com>
Fri, 23 Nov 2012 11:44:18 +0000 (03:44 -0800)
remove compile warning bioKillThreads


Trivial merge