Redis 2.8.12 released.