Right, I see it's properly fixed in hiredis and we have diverged in other ways as well, so it's time to resync. Thanks!